aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Update doc comment on HkTypeLambda/PolyTypeMartin Odersky2017-04-061-12/+13
* PolishingsMartin Odersky2017-04-061-5/+6
* Refactorings for efficiencyMartin Odersky2017-04-061-40/+53
* Narrow matches from TypeLambda to HKTypeLambda where appropriateMartin Odersky2017-04-061-2/+2
* Merge MethodType and PolyType functionality where possibleMartin Odersky2017-04-061-38/+23
* Make PolyType a ground typeMartin Odersky2017-04-061-1/+1
* Split HKTypeLambda from PolyTypeMartin Odersky2017-04-061-4/+1
* Eliminate LambdaAbstractMartin Odersky2017-04-061-5/+23
* Further refactoringsMartin Odersky2017-04-061-50/+58
* Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-061-13/+13
* Add HKTypeLambdaMartin Odersky2017-04-061-5/+40
* Eliminate MethodOrPolyMartin Odersky2017-04-061-3/+1
* Eliminate ParamTypeMartin Odersky2017-04-061-10/+4
* replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-061-16/+5
* Add StarLambda, HKLambda abstractions ...Martin Odersky2017-04-061-70/+79
* Make PolyTypes subtypes of LambdaTypesMartin Odersky2017-04-061-59/+50
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-20/+13
* Refactor ParamRef so that no type params are neededMartin Odersky2017-04-061-48/+28
* Remove parameter from lambda typeMartin Odersky2017-04-061-8/+11
* Get rid of Name parameter for LambdaType and ParamRefMartin Odersky2017-04-061-21/+29
* ParamType refactoringsMartin Odersky2017-04-061-73/+74
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-100/+103
* Break out functionality from MethodTypeMartin Odersky2017-04-061-82/+124
* Add neg test for illegal parameter namesMartin Odersky2017-04-061-1/+1
* Encode variances in parameter namesMartin Odersky2017-04-061-12/+23
* Handle shadowed for TermRefWithSigMartin Odersky2017-03-201-4/+8
* Allow going from non-priv to priv denot when run changesGuillaume Martres2017-03-161-11/+6
* Don't force denotations in asMemberOfGuillaume Martres2017-03-161-5/+6
* Fix #2099: avoid loading a private member when recomputing a NamedType denotGuillaume Martres2017-03-161-2/+6
* Merge pull request #2096 from dotty-staging/fix-i2051Dmitry Petrashko2017-03-151-3/+4
|\
| * fix #2051: allow override T with => T or ()Tliu fengyun2017-03-141-3/+4
* | Merge pull request #2043 from dotty-staging/tailrec-derivesFromDmitry Petrashko2017-03-151-36/+36
|\ \
| * | Add @tailrec to avoid regressions.Nicolas Stucki2017-03-011-30/+30
| * | Make loop in derivesFrom a tailrec loop.Nicolas Stucki2017-03-011-6/+6
* | | Drop dead method and testMartin Odersky2017-03-141-19/+2
* | | Drop mixed MethodType apply methodMartin Odersky2017-03-141-4/+2
* | | Add method to track parameter dependency statusMartin Odersky2017-03-141-4/+24
* | | Construct dependent method types from symbolsMartin Odersky2017-03-141-5/+17
* | | Construct MethodTypes from parameter closureMartin Odersky2017-03-141-25/+36
* | | fix #2071: handle HKApply in SAMTypeliu fengyun2017-03-141-0/+2
| |/ |/|
* | Comment ApproximatingTypeMapMartin Odersky2017-03-121-0/+7
* | Merge pull request #2068 from dotty-staging/fix-#2064odersky2017-03-091-8/+7
|\ \
| * | Fix commentMartin Odersky2017-03-081-2/+3
| * | Better fixMartin Odersky2017-03-081-6/+4
* | | Merge pull request #2045 from dotty-staging/fix-hlist-hmapodersky2017-03-091-1/+4
|\ \ \
| * | | Fix handling of dependent method typesMartin Odersky2017-03-011-6/+0
| * | | Systematic treatment of result types of dependent methodsMartin Odersky2017-02-281-1/+10
| | |/ | |/|
* | | Merge pull request #2049 from ennru/ennru_RecursiveNeedsTypeodersky2017-03-091-1/+2
|\ \ \ | |_|/ |/| |
| * | More detail in error messagesEnno Runne2017-03-051-1/+2
| |/
* | Drop named type parameters in classesMartin Odersky2017-03-041-7/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 04:06:23 +0000