aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix #2152: Instantiate dependent result type parametersMartin Odersky2017-04-111-1/+1
* Rename NameExtractor -> NameKindMartin Odersky2017-04-111-1/+1
* Make freshName semanticMartin Odersky2017-04-111-4/+4
* Add ShadowedName and AvoidClashNameMartin Odersky2017-04-111-3/+4
* Generalize definition of Type#isStableMartin Odersky2017-04-101-2/+3
* Three fixes wrt handlings of package objectsMartin Odersky2017-04-091-7/+16
* Merge pull request #2193 from dotty-staging/deterministic-testsFelix Mulder2017-04-061-1/+1
|\
| * Deterministically randomises test compilation orderOlivier Blanvillain2017-04-051-1/+1
* | 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
|\ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-24 00:22:28 +0000