aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala
Commit message (Expand)AuthorAgeFilesLines
* Lazy entering of names with internal $'s in package scopesMartin Odersky2017-04-111-2/+2
* Align safe parameter substitution with other subst methodsMartin Odersky2017-04-101-5/+5
* Skolemize arguments to dependent methods as necessary.Martin Odersky2017-04-101-1/+19
* Split HKTypeLambda from PolyTypeMartin Odersky2017-04-061-1/+1
* Eliminate LambdaAbstractMartin Odersky2017-04-061-1/+1
* Further refactoringsMartin Odersky2017-04-061-1/+1
* Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-061-1/+1
* replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-061-1/+1
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-2/+2
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-3/+3
* Break out functionality from MethodTypeMartin Odersky2017-04-061-1/+1
* 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
* Construct MethodTypes from parameter closureMartin Odersky2017-03-141-3/+3
* Drop named type parameters in classesMartin Odersky2017-03-041-19/+3
* Refactoring to make Checking not mutate denotationsMartin Odersky2017-02-021-0/+5
* Fix #1845: Survive illegal this-type prefixesMartin Odersky2016-12-221-1/+3
* Merge pull request #1775 from dotty-staging/add-implicit-funtypesodersky2016-12-181-3/+4
|\
| * Fix "wrong number of args" reportingMartin Odersky2016-12-171-3/+4
* | Make errors are not swept under the carpetMartin Odersky2016-12-171-6/+5
|/
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+524
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 12:57:15 +0000