aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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
|\ | | | | Refactor lambda types
| * 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
| | | | | | | | | | | | | | | | | | - 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 appropriateMartin Odersky2017-04-064-8/+10
| |
| * Merge MethodType and PolyType functionality where possibleMartin Odersky2017-04-0612-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 typeMartin Odersky2017-04-062-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 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
| | | | | | | | Use fromParams instead.
| * Further refactoringsMartin Odersky2017-04-0621-146/+150
| | | | | | | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations
| * Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-0613-44/+44
| |
| * Add HKTypeLambdaMartin Odersky2017-04-061-5/+40
| |
| * Eliminate MethodOrPolyMartin Odersky2017-04-064-6/+4
| | | | | | | | Replace with LambdaType
| * Eliminate ParamTypeMartin Odersky2017-04-065-18/+12
| | | | | | | | Replace with ParamRef
| * replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-0617-45/+34
| |
| * Add StarLambda, HKLambda abstractions ...Martin Odersky2017-04-061-70/+79
| | | | | | | | | | ... to distinguish between HK(proxy) and *(ground) types. Also, refactor some more methods to keep it DRY.
| * Make PolyTypes subtypes of LambdaTypesMartin Odersky2017-04-064-98/+89
| | | | | | | | Also, rename LambdaOver{Type,Term}s to {Type,Term}Lambda
| * 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
| | | | | | | | | | | | 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 typeMartin Odersky2017-04-062-9/+12
| |
| * Disable -strict when compiling dotty.Martin Odersky2017-04-061-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 ParamRefMartin Odersky2017-04-064-24/+32
| | | | | | | | Use an abstract type instead.
| * ParamType refactoringsMartin Odersky2017-04-064-77/+78
| | | | | | | | Trying to bring PolyTypes closer to TypeLambdas
| * Harmonize paramTypes and paramBoundsMartin Odersky2017-04-0643-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 MethodTypeMartin Odersky2017-04-0620-134/+176
| | | | | | | | | | and generalize MethodParam to ParamRef, and TypeParamInfo to ParamInfo
| * Drop name checking scheme for type parametersMartin Odersky2017-04-062-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 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
| | | | | | | | and fix typo
| * Encode variances in parameter namesMartin Odersky2017-04-0613-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-enumodersky2017-04-0647-184/+834
|\ | | | | Add "enum" construct
| * 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
| | | | | | | | | | - rename utility methods - generate utility methods also for object cases
| * 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
| | | | | | | | | | | | 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 breakageMartin Odersky2017-04-041-1/+1
| |
| * Avoid assertion failure on neg testMartin Odersky2017-04-041-1/+8
| | | | | | | | This commit can hopefully be reverted once #2121 is in.
| * Fix neg test error countMartin Odersky2017-04-041-1/+1
| | | | | | | | | | Previous expansion caused 3 spurious follow-on errors which are now avoided.
| * Support cases with type parameters that extend a non-parameterized baseMartin Odersky2017-04-043-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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-23 01:45:31 +0000