aboutsummaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Fix #2212: Avoid imports in the wrong namespaceMartin Odersky2017-04-111-26/+22
* Fix #2192: Fullow supertypes when determining whether an expect type is a fun...Martin Odersky2017-04-091-2/+12
* Fix #2201: Less aggressive type application reduction for better inferenceGuillaume Martres2017-04-081-3/+6
* Merge pull request #2193 from dotty-staging/deterministic-testsFelix Mulder2017-04-063-4/+15
|\
| * Use alphabetic sort by defaultOlivier Blanvillain2017-04-061-4/+11
| * Deterministically randomises test compilation orderOlivier Blanvillain2017-04-053-4/+8
* | Merge pull request #2187 from dotty-staging/fix-2166odersky2017-04-061-1/+7
|\ \
| * | fix #2166: unpickling of shared CaseDefliu fengyun2017-04-041-1/+7
* | | Adapt TastyPrinter to new formatMartin Odersky2017-04-061-1/+1
* | | Update doc comment on HkTypeLambda/PolyTypeMartin Odersky2017-04-061-12/+13
* | | PolishingsMartin Odersky2017-04-067-19/+13
* | | Refactorings for efficiencyMartin Odersky2017-04-062-43/+56
* | | Narrow matches from TypeLambda to HKTypeLambda where appropriateMartin Odersky2017-04-064-8/+10
* | | Merge MethodType and PolyType functionality where possibleMartin Odersky2017-04-0612-130/+78
* | | Make PolyType a ground typeMartin Odersky2017-04-062-1/+5
* | | Split HKTypeLambda from PolyTypeMartin Odersky2017-04-069-31/+28
* | | Generalize comparisons from PolyTypes to TypeLambdasMartin Odersky2017-04-061-7/+7
* | | Handle hk lambdas in tastyMartin Odersky2017-04-064-33/+42
* | | Eliminate LambdaAbstractMartin Odersky2017-04-067-34/+34
* | | Further refactoringsMartin Odersky2017-04-0621-146/+150
* | | Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-0613-44/+44
* | | Add HKTypeLambdaMartin Odersky2017-04-061-5/+40
* | | Eliminate MethodOrPolyMartin Odersky2017-04-064-6/+4
* | | Eliminate ParamTypeMartin Odersky2017-04-065-18/+12
* | | replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-0617-45/+34
* | | Add StarLambda, HKLambda abstractions ...Martin Odersky2017-04-061-70/+79
* | | Make PolyTypes subtypes of LambdaTypesMartin Odersky2017-04-064-98/+89
* | | Rename PolyParam --> TypeParamRefMartin Odersky2017-04-0628-173/+166
* | | Refactor ParamRef so that no type params are neededMartin Odersky2017-04-064-51/+31
* | | Disable -strict when compiling dotty.Martin Odersky2017-04-061-3/+3
* | | Remove parameter from lambda typeMartin Odersky2017-04-062-9/+12
* | | Disable -strict when compiling dotty.Martin Odersky2017-04-061-3/+3
* | | Get rid of Name parameter for LambdaType and ParamRefMartin Odersky2017-04-064-24/+32
* | | ParamType refactoringsMartin Odersky2017-04-064-77/+78
* | | Harmonize paramTypes and paramBoundsMartin Odersky2017-04-0643-213/+216
* | | Break out functionality from MethodTypeMartin Odersky2017-04-0620-134/+176
* | | Drop name checking scheme for type parametersMartin Odersky2017-04-061-9/+3
* | | Don't let illegal parameter names propagate into typesMartin Odersky2017-04-061-4/+4
* | | Add neg test for illegal parameter namesMartin Odersky2017-04-061-1/+1
* | | Encode variances in parameter namesMartin Odersky2017-04-0613-41/+76
* | | Merge pull request #1958 from dotty-staging/add-enumodersky2017-04-0619-149/+547
|\ \ \
| * | | Emit enum utility methods only if enum class is not genericMartin Odersky2017-04-061-6/+8
| * | | Implementation of proposal changesMartin Odersky2017-04-052-45/+76
| * | | Infer enum type args from type parameter boundsMartin Odersky2017-04-041-11/+45
| * | | Fix rebase breakageMartin Odersky2017-04-041-1/+1
| * | | Avoid assertion failure on neg testMartin Odersky2017-04-041-1/+8
| * | | Support cases with type parameters that extend a non-parameterized baseMartin Odersky2017-04-042-16/+24
| * | | Support comma-separated enum constantsMartin Odersky2017-04-043-26/+46
| * | | Change enumeration members.Martin Odersky2017-04-042-13/+14
| * | | Change return type of `apply`.Martin Odersky2017-04-041-7/+7