aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix #2152: Instantiate dependent result type parametersMartin Odersky2017-04-111-8/+9
* Rename NameExtractor -> NameKindMartin Odersky2017-04-111-1/+1
* Make freshName semanticMartin Odersky2017-04-111-1/+2
* Split HKTypeLambda from PolyTypeMartin Odersky2017-04-061-12/+12
* replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-061-1/+1
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-10/+10
* Refactor ParamRef so that no type params are neededMartin Odersky2017-04-061-1/+1
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-7/+7
* Break out functionality from MethodTypeMartin Odersky2017-04-061-1/+1
* Encode variances in parameter namesMartin Odersky2017-04-061-1/+1
* Addresses review commentsAllan Renucci2017-04-041-1/+1
* Fixes @unchecked warningsAllan Renucci2017-04-031-1/+1
* Fix unrelated typos in commentsMartin Odersky2017-03-141-1/+1
* Take parameter dependencies into accountMartin Odersky2017-03-141-0/+6
* Alternative fix of #2066.Martin Odersky2017-03-121-13/+15
* Fix #2066: Don't qualify private members in SelectionProto's...Martin Odersky2017-03-121-1/+3
* Fix handling of dependent method typesMartin Odersky2017-03-011-2/+22
* Systematic treatment of result types of dependent methodsMartin Odersky2017-02-281-16/+12
* Constrain results of dependent implicitsMartin Odersky2017-02-281-14/+9
* Fix wildApprox functionMartin Odersky2017-02-071-36/+53
* Treat Unit type specially in overloading resolutionMartin Odersky2016-12-201-1/+3
* More lenient handling of mixed parameterless and nullary methodsMartin Odersky2016-12-201-0/+16
* Fix #1757: Be more careful about positions of type variable bindersMartin Odersky2016-12-011-4/+7
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+488
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-25 07:03:16 +0000