aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1596 from dotty-staging/fix-#1531Guillaume Martres2016-10-141-1/+1
|\
| * Fix #1531: Ignore private members when looking for abstract onesMartin Odersky2016-10-141-1/+1
* | Merge pull request #749 from smarter/fix/escaping-refs-2odersky2016-10-142-10/+4
|\ \ | |/ |/|
| * Typer#escapingRefs: remove dead codeGuillaume Martres2016-03-241-9/+1
| * Typer#escapingRefs: don't let the types of lower bounds escapeGuillaume Martres2016-03-241-1/+3
* | Merge pull request #1565 from Blaisorblade/warningsFelix Mulder2016-10-141-1/+1
|\ \
| * | Fix non-spurious unchecked warningPaolo G. Giarrusso2016-10-071-1/+1
* | | Merge pull request #1577 from dotty-staging/fix-1543-2odersky2016-10-131-3/+4
|\ \ \
| * | | Fix #1543: Ignore IgnoredProto when normalizing method application.Nicolas Stucki2016-10-111-3/+4
* | | | Merge GenericType, TypeLambda and PolyTypeMartin Odersky2016-10-128-15/+15
* | | | Fix rebase problemMartin Odersky2016-10-121-1/+1
* | | | Harmonize PolyType and TypeLambdaMartin Odersky2016-10-123-3/+3
* | | | Make TypeLambdas not be ValueTypesMartin Odersky2016-10-121-1/+1
* | | | Fix cutting problemMartin Odersky2016-10-111-1/+6
* | | | Disallow singleton types in unionsMartin Odersky2016-10-112-2/+11
* | | | Keep or typesMartin Odersky2016-10-111-1/+1
|/ / /
* | | Add Levenshtein distance for member values and typesFelix Mulder2016-10-101-1/+3
* | | Improve positions for MemberDefs using `namePos`Felix Mulder2016-10-102-5/+5
* | | Fix TypeMismatch not getting nonsensical tags in some casesFelix Mulder2016-10-101-3/+3
* | | Fix reporting of ErrorTypes in highlighted segmentsFelix Mulder2016-10-101-1/+1
* | | Refactor explanation interpolatorFelix Mulder2016-10-103-14/+14
* | | Make relevant parts of compiler conform to new error handlingFelix Mulder2016-10-102-7/+8
* | | Add modifiers to highlightingFelix Mulder2016-10-101-3/+3
* | | Add `MissingIdent` message to `Typer`Felix Mulder2016-10-101-2/+3
* | | Complete better structure to diagnostic messagesFelix Mulder2016-10-101-3/+2
* | | Rename Diagnostic to diagnostic.MessageFelix Mulder2016-10-101-1/+0
* | | Change layout of ErrorMessagesFelix Mulder2016-10-101-1/+2
* | | Add more examples to TyperFelix Mulder2016-10-101-10/+14
|/ /
* | Separate `ContextDocstrings` from `Context` and make it pluggableFelix Mulder2016-10-063-43/+60
* | Implement docbase as propertyFelix Mulder2016-10-062-25/+30
* | Typecheck usecases in fresh local scopeFelix Mulder2016-10-061-2/+1
* | Move docstring cooking to dottyFelix Mulder2016-10-061-7/+10
* | Fix cooking of docstringsFelix Mulder2016-10-062-20/+36
* | Move typing of usecases to `typedClassDef`Felix Mulder2016-10-061-3/+4
* | Fix type parameters not getting properly typedFelix Mulder2016-10-061-4/+15
* | Typecheck usecasesFelix Mulder2016-10-062-1/+12
* | Fix inline failure in the presence of unit conversionMartin Odersky2016-10-021-1/+3
* | Address @smarter's review commentsMartin Odersky2016-10-022-8/+11
* | CleanupsMartin Odersky2016-10-022-25/+3
* | Move logic from InlineInfo to BodyAnnotMartin Odersky2016-10-023-110/+49
* | Use BodyAnnot to indicate rhs of inline methodMartin Odersky2016-10-021-10/+10
* | Handle inlining in inlining argumentsMartin Odersky2016-10-022-20/+32
* | Inline function parametersMartin Odersky2016-10-022-20/+24
* | Change owner as necessary when typing a TypedSpliceMartin Odersky2016-10-024-6/+20
* | Don't drop inline closure bindings that are referred in the bodyMartin Odersky2016-10-021-5/+15
* | Always use implicit context at the current periodMartin Odersky2016-10-023-20/+31
* | Document deviations from inline SIPMartin Odersky2016-10-021-0/+7
* | Add inline for valsMartin Odersky2016-10-023-2/+16
* | Add accessibility check for type of newMartin Odersky2016-10-021-0/+1
* | Fix problem related to accessor generation under separate compilationMartin Odersky2016-10-023-5/+22