aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Move isProductSubType to Applications & rename to canProductMatchOlivier Blanvillain2017-04-114-9/+8
* Add testsOlivier Blanvillain2017-04-066-0/+111
* Decouple Product and pattern-matchingOlivier Blanvillain2017-04-064-18/+13
* Generate synthetic productElement/productArity methods above 22Olivier Blanvillain2017-04-062-28/+56
* Workaround #1932 (bug trigged by desugaring changes)Olivier Blanvillain2017-04-061-1/+1
* Add {before,after}-pickling.txt to gitignoreOlivier Blanvillain2017-04-061-0/+2
* Merge pull request #2121 from dotty-staging/change-merge-method-polyodersky2017-04-0670-988/+1032
|\
| * 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
| * Generalize PolyType to TypeLambda in dotty-docMartin Odersky2017-04-061-3/+3
| * Fix dotty-doc to take account of refactoringsMartin Odersky2017-04-061-4/+4
| * 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-062-10/+3
| * Don't let illegal parameter names propagate into typesMartin Odersky2017-04-061-4/+4
| * Fix dottydoc parameter printingMartin Odersky2017-04-061-4/+1
| * Add neg test for illegal parameter namesMartin Odersky2017-04-062-1/+2
| * Encode variances in parameter namesMartin Odersky2017-04-0613-41/+76
|/
* Merge pull request #1958 from dotty-staging/add-enumodersky2017-04-0647-184/+834
|\
| * Emit enum utility methods only if enum class is not genericMartin Odersky2017-04-061-6/+8
| * Another test fixedMartin Odersky2017-04-051-1/+1
| * Update test and add check fileMartin Odersky2017-04-052-1/+9
| * Implementation of proposal changesMartin Odersky2017-04-055-50/+107
| * Add check fileMartin Odersky2017-04-051-0/+1
| * New and updated testsMartin Odersky2017-04-044-3/+37
| * Infer enum type args from type parameter boundsMartin Odersky2017-04-042-12/+57