Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | 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 | |
* | | | 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 | |
* | | | Remove parameter from lambda type | Martin Odersky | 2017-04-06 | 2 | -9/+12 | |
* | | | 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 | 1 | -9/+3 | |
* | | | Don't let illegal parameter names propagate into types | Martin Odersky | 2017-04-06 | 1 | -4/+4 | |
* | | | Add neg test for illegal parameter names | Martin Odersky | 2017-04-06 | 1 | -1/+1 | |
* | | | 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 | 17 | -147/+512 | |
|\ \ \ | ||||||
| * | | | Emit enum utility methods only if enum class is not generic | Martin Odersky | 2017-04-06 | 1 | -6/+8 | |
| * | | | Implementation of proposal changes | Martin Odersky | 2017-04-05 | 2 | -45/+76 | |
| * | | | Infer enum type args from type parameter bounds | Martin Odersky | 2017-04-04 | 1 | -11/+45 | |
| * | | | Avoid assertion failure on neg test | Martin Odersky | 2017-04-04 | 1 | -1/+8 | |
| * | | | Support cases with type parameters that extend a non-parameterized base | Martin Odersky | 2017-04-04 | 2 | -16/+24 | |
| * | | | Support comma-separated enum constants | Martin Odersky | 2017-04-04 | 3 | -26/+46 | |
| * | | | Change enumeration members. | Martin Odersky | 2017-04-04 | 2 | -13/+14 | |
| * | | | Change return type of `apply`. | Martin Odersky | 2017-04-04 | 1 | -7/+7 | |
| * | | | Don't change the return type of the `copy` method | Martin Odersky | 2017-04-04 | 1 | -1/+1 | |
| * | | | Check that cases with type parameters also have an extends clause | Martin Odersky | 2017-04-04 | 1 | -1/+5 | |
| * | | | Fix cheeky comment in nested scope | Felix Mulder | 2017-04-04 | 1 | -6/+17 | |
| * | | | More fine-grained distinctions when flags are defined. | Martin Odersky | 2017-04-04 | 3 | -9/+23 | |
| * | | | Fix typo | Martin Odersky | 2017-04-04 | 1 | -1/+1 | |
| * | | | Be more systematic about result of apply method | Martin Odersky | 2017-04-04 | 1 | -8/+18 | |
| * | | | Make `getDocComment` referentially transparent | Felix Mulder | 2017-04-04 | 1 | -36/+12 | |
| * | | | Fix "closest" computation for docstrings | Martin Odersky | 2017-04-04 | 1 | -1/+3 | |
| * | | | Comment out unused method in Context | Martin Odersky | 2017-04-04 | 1 | -2/+3 | |
| * | | | Implement enum desugaring | Martin Odersky | 2017-04-04 | 4 | -36/+189 | |
| * | | | Change handling of enum defs. | Martin Odersky | 2017-04-04 | 2 | -15/+34 |