Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #2201: Less aggressive type application reduction for better inference | Guillaume Martres | 2017-04-08 | 1 | -3/+6 |
* | Merge pull request #2193 from dotty-staging/deterministic-tests | Felix Mulder | 2017-04-06 | 1 | -1/+1 |
|\ | |||||
| * | Deterministically randomises test compilation order | Olivier Blanvillain | 2017-04-05 | 1 | -1/+1 |
* | | Merge pull request #2187 from dotty-staging/fix-2166 | odersky | 2017-04-06 | 1 | -1/+7 |
|\ \ | |||||
| * | | fix #2166: unpickling of shared CaseDef | liu fengyun | 2017-04-04 | 1 | -1/+7 |
* | | | 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 | 4 | -16/+10 |
* | | | Refactorings for efficiency | Martin Odersky | 2017-04-06 | 2 | -43/+56 |
* | | | Narrow matches from TypeLambda to HKTypeLambda where appropriate | Martin Odersky | 2017-04-06 | 3 | -5/+7 |
* | | | Merge MethodType and PolyType functionality where possible | Martin Odersky | 2017-04-06 | 6 | -112/+70 |
* | | | Make PolyType a ground type | Martin Odersky | 2017-04-06 | 2 | -1/+5 |
* | | | Split HKTypeLambda from PolyType | Martin Odersky | 2017-04-06 | 4 | -11/+8 |
* | | | Generalize comparisons from PolyTypes to TypeLambdas | Martin Odersky | 2017-04-06 | 1 | -7/+7 |
* | | | Handle hk lambdas in tasty | Martin Odersky | 2017-04-06 | 3 | -32/+41 |
* | | | Eliminate LambdaAbstract | Martin Odersky | 2017-04-06 | 3 | -27/+28 |
* | | | Further refactorings | Martin Odersky | 2017-04-06 | 12 | -122/+131 |
* | | | Rename PolyTypeTree -> LambdaTypeTree | Martin Odersky | 2017-04-06 | 3 | -15/+15 |
* | | | Add HKTypeLambda | Martin Odersky | 2017-04-06 | 1 | -5/+40 |
* | | | Eliminate MethodOrPoly | Martin Odersky | 2017-04-06 | 1 | -3/+1 |
* | | | Eliminate ParamType | Martin Odersky | 2017-04-06 | 3 | -16/+10 |
* | | | replace derived{Method,Poly}Type with derivedLambdaType | Martin Odersky | 2017-04-06 | 6 | -29/+18 |
* | | | 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 | 14 | -140/+133 |
* | | | Refactor ParamRef so that no type params are needed | Martin Odersky | 2017-04-06 | 2 | -49/+29 |
* | | | Remove parameter from lambda type | Martin Odersky | 2017-04-06 | 1 | -8/+11 |
* | | | Get rid of Name parameter for LambdaType and ParamRef | Martin Odersky | 2017-04-06 | 2 | -22/+30 |
* | | | ParamType refactorings | Martin Odersky | 2017-04-06 | 2 | -74/+75 |
* | | | Harmonize paramTypes and paramBounds | Martin Odersky | 2017-04-06 | 14 | -135/+138 |
* | | | Break out functionality from MethodType | Martin Odersky | 2017-04-06 | 7 | -113/+155 |
* | | | 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 | 9 | -34/+63 |
* | | | Merge pull request #1958 from dotty-staging/add-enum | odersky | 2017-04-06 | 6 | -12/+35 |
|\ \ \ | |||||
| * | | | Change enumeration members. | Martin Odersky | 2017-04-04 | 1 | -1/+0 |
| * | | | More fine-grained distinctions when flags are defined. | Martin Odersky | 2017-04-04 | 2 | -8/+22 |
| * | | | Comment out unused method in Context | Martin Odersky | 2017-04-04 | 1 | -2/+3 |
| * | | | Implement enum desugaring | Martin Odersky | 2017-04-04 | 2 | -1/+10 |
| * | | | Fix mal-formatting. | Martin Odersky | 2017-04-04 | 1 | -1/+1 |
| |/ / | |||||
* | / | checkNoPrivateLeaks: Do not allow types to refer to leaky aliases | Guillaume Martres | 2017-04-04 | 1 | -1/+3 |
| |/ |/| | |||||
* | | Addresses review comments | Allan Renucci | 2017-04-04 | 1 | -1/+0 |
* | | Fixes @unchecked warnings | Allan Renucci | 2017-04-03 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #2154 from dotty-staging/topic/fix-#2151 | Felix Mulder | 2017-03-31 | 1 | -1/+1 |
|\ | |||||
| * | Fix #2151: don't die for wrong number of typeargs applied | Felix Mulder | 2017-03-31 | 1 | -1/+1 |
* | | Fix ClassfileParser | Martin Odersky | 2017-03-31 | 1 | -1/+1 |
|/ | |||||
* | Handle shadowed for TermRefWithSig | Martin Odersky | 2017-03-20 | 1 | -4/+8 |
* | Better type inference in harmonizeUnion | Guillaume Martres | 2017-03-18 | 3 | -25/+26 |
* | Merge pull request #2110 from dotty-staging/fix/reduce-more-lambdas | Guillaume Martres | 2017-03-18 | 1 | -3/+4 |
|\ | |||||
| * | Reduce type lambdas even if variance changes | Guillaume Martres | 2017-03-16 | 1 | -3/+4 |
* | | Update periods-related comments | Abel Nieto | 2017-03-18 | 1 | -3/+4 |
|/ |