Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Workaround #1932 (bug trigged by desugaring changes) | Olivier Blanvillain | 2017-04-06 | 1 | -1/+1 |
| | |||||
* | Add {before,after}-pickling.txt to gitignore | Olivier Blanvillain | 2017-04-06 | 1 | -0/+2 |
| | |||||
* | Merge pull request #2121 from dotty-staging/change-merge-method-poly | odersky | 2017-04-06 | 70 | -988/+1032 |
|\ | | | | | Refactor lambda types | ||||
| * | 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 |
| | | | | | | | | | | | | | | | | | | - split LambdaType.equals into two equals so that tests are more specific (also avoids type testing against a trait) - re-order cases in some pattern matches with the aim to (1) move common cases earlier, (2) move more expensive trait type tests later. | ||||
| * | 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 |
| | | | | | | | | | | | | Two benefits: (1) less code. (2) finding subtle bugs about parameter dependent method types. By merging with PolyTypes we are forced to take parameter dependencies into account. | ||||
| * | Make PolyType a ground type | Martin Odersky | 2017-04-06 | 2 | -1/+5 |
| | | | | | | | | | | It's too surprising to leave it as a type proxy. In all circumstances except erasure, it is not true that a PolyType is somehow the same as its result type. | ||||
| * | 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 |
| | | | | | | | | Use fromParams instead. | ||||
| * | Further refactorings | Martin Odersky | 2017-04-06 | 21 | -146/+150 |
| | | | | | | | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations | ||||
| * | 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 |
| | | | | | | | | Replace with LambdaType | ||||
| * | Eliminate ParamType | Martin Odersky | 2017-04-06 | 5 | -18/+12 |
| | | | | | | | | Replace with ParamRef | ||||
| * | 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 |
| | | | | | | | | | | ... to distinguish between HK(proxy) and *(ground) types. Also, refactor some more methods to keep it DRY. | ||||
| * | Make PolyTypes subtypes of LambdaTypes | Martin Odersky | 2017-04-06 | 4 | -98/+89 |
| | | | | | | | | Also, rename LambdaOver{Type,Term}s to {Type,Term}Lambda | ||||
| * | 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 |
| | | | | | | | | | | | | It seems we need a more refined way to deal with non-variant variables in pattern matches. See branch change-patmat-undet for a WIP. For the moment we disable -strict to be able to compile latest version of dotty. (reverted from commit c8fe830f8a382eb965c2231064fa286ee8f0a4ec) | ||||
| * | 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 |
| | | | | | | | | | | | | It seems we need a more refined way to deal with non-variant variables in pattern matches. See branch change-patmat-undet for a WIP. For the moment we disable -strict to be able to compile latest version of dotty. | ||||
| * | Get rid of Name parameter for LambdaType and ParamRef | Martin Odersky | 2017-04-06 | 4 | -24/+32 |
| | | | | | | | | Use an abstract type instead. | ||||
| * | ParamType refactorings | Martin Odersky | 2017-04-06 | 4 | -77/+78 |
| | | | | | | | | Trying to bring PolyTypes closer to TypeLambdas | ||||
| * | Harmonize paramTypes and paramBounds | Martin Odersky | 2017-04-06 | 43 | -213/+216 |
| | | | | | | | | | | | | MethodTypes have paramTypes whereas PolyTypes have paramBounds. We now harmonize by alling both paramInfos, and parameterizing types that will become common to both. | ||||
| * | Break out functionality from MethodType | Martin Odersky | 2017-04-06 | 20 | -134/+176 |
| | | | | | | | | | | and generalize MethodParam to ParamRef, and TypeParamInfo to ParamInfo | ||||
| * | Drop name checking scheme for type parameters | Martin Odersky | 2017-04-06 | 2 | -10/+3 |
| | | | | | | | | | | It was a red herring. Symbolic names are expanded anyway to $plus / $minus, so they can't be confused with a variance prefix. | ||||
| * | 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 |
| | | | | | | | | and fix typo | ||||
| * | Encode variances in parameter names | Martin Odersky | 2017-04-06 | 13 | -41/+76 |
|/ | | | | | | | | | | This leads to a slight overall simplification, harmonizes pickle format with internal representation, and makes MethodTypes and PolyTypes more similar to each other. I believe the change is useful as it is, but in particular it is a useful step for an eventual unification of MethodTypes and PolyTypes. | ||||
* | Merge pull request #1958 from dotty-staging/add-enum | odersky | 2017-04-06 | 47 | -184/+834 |
|\ | | | | | Add "enum" construct | ||||
| * | 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 |
| | | | | | | | | | | - rename utility methods - generate utility methods also for object cases | ||||
| * | Add check file | Martin Odersky | 2017-04-05 | 1 | -0/+1 |
| | | |||||
| * | New and updated tests | Martin Odersky | 2017-04-04 | 4 | -3/+37 |
| | | |||||
| * | Infer enum type args from type parameter bounds | Martin Odersky | 2017-04-04 | 2 | -12/+57 |
| | | | | | | | | | | | | Infer type arguments for enum paraments from corresponding type parameter bounds. This only works if the type parameter in question is variant and its bound is ground. | ||||
| * | Fix rebase breakage | Martin Odersky | 2017-04-04 | 1 | -1/+1 |
| | | |||||
| * | Avoid assertion failure on neg test | Martin Odersky | 2017-04-04 | 1 | -1/+8 |
| | | | | | | | | This commit can hopefully be reverted once #2121 is in. | ||||
| * | Fix neg test error count | Martin Odersky | 2017-04-04 | 1 | -1/+1 |
| | | | | | | | | | | Previous expansion caused 3 spurious follow-on errors which are now avoided. | ||||
| * | Support cases with type parameters that extend a non-parameterized base | Martin Odersky | 2017-04-04 | 3 | -16/+46 |
| | | | | | | | | | | | | | | | | Support cases with type parameters that implicitly extend a non-parameterized base without needing their own extends clause. The proposal has been updated to make clear that this is supported. Also address other reviewers comments. |