aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer
Commit message (Expand)AuthorAgeFilesLines
* Make outer select names semanticMartin Odersky2017-04-111-6/+3
* Decentralize unmangling, add new nameKindsMartin Odersky2017-04-111-1/+2
* Rename NameExtractor -> NameKindMartin Odersky2017-04-114-4/+4
* Make freshName semanticMartin Odersky2017-04-113-7/+9
* Get rid of SuperAccessor flagMartin Odersky2017-04-111-1/+1
* Drop Config.semanticNames optionMartin Odersky2017-04-111-1/+2
* Bug fixesMartin Odersky2017-04-111-1/+1
* Merge pull request #2215 from dotty-staging/#2142odersky2017-04-112-4/+21
|\
| * Align safe parameter substitution with other subst methodsMartin Odersky2017-04-102-6/+6
| * Skolemize arguments to dependent methods as necessary.Martin Odersky2017-04-102-4/+21
* | Merge pull request #2206 from dotty-staging/fix-#2198odersky2017-04-101-2/+4
|\ \ | |/ |/|
| * Fix #2198: Don't widen module singletonsMartin Odersky2017-04-091-2/+4
* | Fix #2192: Fullow supertypes when determining whether an expect type is a fun...Martin Odersky2017-04-091-2/+12
|/
* PolishingsMartin Odersky2017-04-061-1/+1
* Narrow matches from TypeLambda to HKTypeLambda where appropriateMartin Odersky2017-04-061-3/+3
* Merge MethodType and PolyType functionality where possibleMartin Odersky2017-04-065-15/+7
* Split HKTypeLambda from PolyTypeMartin Odersky2017-04-064-17/+17
* Eliminate LambdaAbstractMartin Odersky2017-04-064-7/+6
* Further refactoringsMartin Odersky2017-04-067-19/+14
* Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-063-10/+10
* Eliminate MethodOrPolyMartin Odersky2017-04-062-2/+2
* replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-065-5/+5
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-067-18/+18
* Refactor ParamRef so that no type params are neededMartin Odersky2017-04-061-1/+1
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-0614-47/+47
* Break out functionality from MethodTypeMartin Odersky2017-04-067-10/+10
* Encode variances in parameter namesMartin Odersky2017-04-061-1/+1
* Merge pull request #1958 from dotty-staging/add-enumodersky2017-04-062-2/+8
|\
| * Avoid assertion failure on neg testMartin Odersky2017-04-041-1/+8
| * Allow value expansion of modules in mergeCompanionDefsMartin Odersky2017-04-041-1/+0
* | Merge pull request #2190 from dotty-staging/fix-robust-avoidanceGuillaume Martres2017-04-041-2/+8
|\ \
| * | Make leak avoidance more robustMartin Odersky2017-04-041-2/+8
| |/
* | checkNoPrivateLeaks: Do not allow types to refer to leaky aliasesGuillaume Martres2017-04-041-6/+17
* | Merge pull request #2168 from allanrenucci/warningsGuillaume Martres2017-04-041-1/+1
|\ \ | |/ |/|
| * Addresses review commentsAllan Renucci2017-04-041-1/+1
| * Fixes @unchecked warningsAllan Renucci2017-04-031-1/+1
* | Create dummy companions for classes without a real oneGuillaume Martres2017-03-291-5/+16
|/
* Namer#createCompanionLinks: avoid using denotNamedGuillaume Martres2017-03-241-4/+4
* Fix #2137: Create dummy companions for top-level objects without a real oneGuillaume Martres2017-03-231-0/+19
* Merge pull request #2114 from dotty-staging/fix/inline-error-posGuillaume Martres2017-03-201-3/+4
|\
| * Fix position of errors in Inliner TreeTypeMapGuillaume Martres2017-03-161-3/+4
* | Fix bug in typechecking super prefix with invalid enclosing classAbel Nieto2017-03-171-19/+21
* | Move 'invalid super qualifier' error to new error format.Abel Nieto2017-03-171-1/+1
|/
* Remove warning from non exhaustive match in mergeCompanionDefs.Nicolas Stucki2017-03-161-1/+1
* Merge pull request #2079 from dotty-staging/depmeth2odersky2017-03-148-20/+62
|\
| * Fix unrelated typos in commentsMartin Odersky2017-03-141-1/+1
| * Check there are no forward dependencies to method parametersMartin Odersky2017-03-142-1/+20
| * Take parameter dependencies into accountMartin Odersky2017-03-142-5/+27
| * Construct MethodTypes from parameter closureMartin Odersky2017-03-146-14/+15
* | Merge pull request #2091 from dotty-staging/fix-#2077Guillaume Martres2017-03-141-11/+1
|\ \ | |/ |/|