Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Tweak logic for hk type comparisons | Martin Odersky | 2017-04-09 | 2 | -0/+10 |
* | Tweak logic for hk type comparisons | Martin Odersky | 2017-04-09 | 1 | -4/+3 |
* | Three fixes wrt handlings of package objects | Martin Odersky | 2017-04-09 | 2 | -28/+68 |
* | Merge pull request #2193 from dotty-staging/deterministic-tests | Felix Mulder | 2017-04-06 | 3 | -4/+15 |
|\ | |||||
| * | Use alphabetic sort by default | Olivier Blanvillain | 2017-04-06 | 1 | -4/+11 |
| * | Deterministically randomises test compilation order | Olivier Blanvillain | 2017-04-05 | 3 | -4/+8 |
* | | Merge pull request #2187 from dotty-staging/fix-2166 | odersky | 2017-04-06 | 2 | -1/+12 |
|\ \ | |||||
| * | | fix #2166: unpickling of shared CaseDef | liu fengyun | 2017-04-04 | 2 | -1/+12 |
* | | | Merge pull request #2121 from dotty-staging/change-merge-method-poly | odersky | 2017-04-06 | 70 | -988/+1032 |
|\ \ \ | |||||
| * | | | Adapt TastyPrinter to new format | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| * | | | Update doc comment on HkTypeLambda/PolyType | Martin Odersky | 2017-04-06 | 1 | -12/+13 |
| * | | | Polishings | Martin Odersky | 2017-04-06 | 7 | -19/+13 |
| * | | | Generalize PolyType to TypeLambda in dotty-doc | Martin Odersky | 2017-04-06 | 1 | -3/+3 |
| * | | | Fix dotty-doc to take account of refactorings | Martin Odersky | 2017-04-06 | 1 | -4/+4 |
| * | | | Refactorings for efficiency | Martin Odersky | 2017-04-06 | 2 | -43/+56 |
| * | | | Narrow matches from TypeLambda to HKTypeLambda where appropriate | Martin Odersky | 2017-04-06 | 4 | -8/+10 |
| * | | | Merge MethodType and PolyType functionality where possible | Martin Odersky | 2017-04-06 | 12 | -130/+78 |
| * | | | Make PolyType a ground type | Martin Odersky | 2017-04-06 | 2 | -1/+5 |
| * | | | Split HKTypeLambda from PolyType | Martin Odersky | 2017-04-06 | 9 | -31/+28 |
| * | | | Generalize comparisons from PolyTypes to TypeLambdas | Martin Odersky | 2017-04-06 | 1 | -7/+7 |
| * | | | Handle hk lambdas in tasty | Martin Odersky | 2017-04-06 | 4 | -33/+42 |
| * | | | Eliminate LambdaAbstract | Martin Odersky | 2017-04-06 | 7 | -34/+34 |
| * | | | Further refactorings | Martin Odersky | 2017-04-06 | 21 | -146/+150 |
| * | | | Rename PolyTypeTree -> LambdaTypeTree | Martin Odersky | 2017-04-06 | 13 | -44/+44 |
| * | | | Add HKTypeLambda | Martin Odersky | 2017-04-06 | 1 | -5/+40 |
| * | | | Eliminate MethodOrPoly | Martin Odersky | 2017-04-06 | 4 | -6/+4 |
| * | | | Eliminate ParamType | Martin Odersky | 2017-04-06 | 5 | -18/+12 |
| * | | | replace derived{Method,Poly}Type with derivedLambdaType | Martin Odersky | 2017-04-06 | 17 | -45/+34 |
| * | | | Add StarLambda, HKLambda abstractions ... | Martin Odersky | 2017-04-06 | 1 | -70/+79 |
| * | | | Make PolyTypes subtypes of LambdaTypes | Martin Odersky | 2017-04-06 | 4 | -98/+89 |
| * | | | Rename PolyParam --> TypeParamRef | Martin Odersky | 2017-04-06 | 28 | -173/+166 |
| * | | | Refactor ParamRef so that no type params are needed | Martin Odersky | 2017-04-06 | 4 | -51/+31 |
| * | | | Disable -strict when compiling dotty. | Martin Odersky | 2017-04-06 | 1 | -3/+3 |
| * | | | Remove parameter from lambda type | Martin Odersky | 2017-04-06 | 2 | -9/+12 |
| * | | | Disable -strict when compiling dotty. | Martin Odersky | 2017-04-06 | 1 | -3/+3 |
| * | | | Get rid of Name parameter for LambdaType and ParamRef | Martin Odersky | 2017-04-06 | 4 | -24/+32 |
| * | | | ParamType refactorings | Martin Odersky | 2017-04-06 | 4 | -77/+78 |
| * | | | Harmonize paramTypes and paramBounds | Martin Odersky | 2017-04-06 | 43 | -213/+216 |
| * | | | Break out functionality from MethodType | Martin Odersky | 2017-04-06 | 20 | -134/+176 |
| * | | | Drop name checking scheme for type parameters | Martin Odersky | 2017-04-06 | 2 | -10/+3 |
| * | | | Don't let illegal parameter names propagate into types | Martin Odersky | 2017-04-06 | 1 | -4/+4 |
| * | | | Fix dottydoc parameter printing | Martin Odersky | 2017-04-06 | 1 | -4/+1 |
| * | | | Add neg test for illegal parameter names | Martin Odersky | 2017-04-06 | 2 | -1/+2 |
| * | | | Encode variances in parameter names | Martin Odersky | 2017-04-06 | 13 | -41/+76 |
|/ / / | |||||
* | | | Merge pull request #1958 from dotty-staging/add-enum | odersky | 2017-04-06 | 47 | -184/+834 |
|\ \ \ | |||||
| * | | | Emit enum utility methods only if enum class is not generic | Martin Odersky | 2017-04-06 | 1 | -6/+8 |
| * | | | Another test fixed | Martin Odersky | 2017-04-05 | 1 | -1/+1 |
| * | | | Update test and add check file | Martin Odersky | 2017-04-05 | 2 | -1/+9 |
| * | | | Implementation of proposal changes | Martin Odersky | 2017-04-05 | 5 | -50/+107 |
| * | | | Add check file | Martin Odersky | 2017-04-05 | 1 | -0/+1 |