Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Deug info in classfile parser | Martin Odersky | 2017-04-11 | 1 | -1/+8 |
* | Unmangle class names in ClassfileParser | Martin Odersky | 2017-04-11 | 1 | -1/+1 |
* | Self-checked structured qualified names | Martin Odersky | 2017-04-11 | 1 | -4/+27 |
* | Start to use structured ModuleNames | Martin Odersky | 2017-04-11 | 4 | -8/+31 |
* | Fix handling of qualified names | Martin Odersky | 2017-04-11 | 2 | -19/+42 |
* | Fix @sharable problem | Martin Odersky | 2017-04-11 | 1 | -1/+1 |
* | Add derived name machinery | Martin Odersky | 2017-04-11 | 3 | -11/+114 |
* | Cleanup of simple names | Martin Odersky | 2017-04-11 | 1 | -45/+39 |
* | Merge pull request #2215 from dotty-staging/#2142 | odersky | 2017-04-11 | 6 | -15/+43 |
|\ | |||||
| * | Align safe parameter substitution with other subst methods | Martin Odersky | 2017-04-10 | 2 | -6/+6 |
| * | Generalize definition of Type#isStable | Martin Odersky | 2017-04-10 | 1 | -2/+3 |
| * | Skolemize arguments to dependent methods as necessary. | Martin Odersky | 2017-04-10 | 2 | -4/+21 |
| * | Explain skolem types | Martin Odersky | 2017-04-10 | 1 | -3/+11 |
| * | Handle printing of term paramrefs | Martin Odersky | 2017-04-10 | 2 | -6/+8 |
* | | Merge pull request #2197 from dotty-staging/add-enum-exhaustiveness | odersky | 2017-04-10 | 4 | -100/+77 |
|\ \ | |||||
| * | | simplify exhaustivity check using ConstantType | liu fengyun | 2017-04-06 | 1 | -49/+11 |
| * | | remove obsolete code | liu fengyun | 2017-04-06 | 1 | -9/+0 |
| * | | exhaustivity support for enums | liu fengyun | 2017-04-06 | 3 | -51/+69 |
| * | | Add child annotations for enum values | Martin Odersky | 2017-04-06 | 2 | -4/+10 |
* | | | Merge pull request #2206 from dotty-staging/fix-#2198 | odersky | 2017-04-10 | 1 | -2/+4 |
|\ \ \ | |_|/ |/| | | |||||
| * | | Fix #2198: Don't widen module singletons | Martin Odersky | 2017-04-09 | 1 | -2/+4 |
* | | | Merge pull request #2207 from dotty-staging/fix-#2188 | Nicolas Stucki | 2017-04-09 | 1 | -0/+3 |
|\ \ \ | |||||
| * | | | Fix #2188: Do cbn transform also on Selects | Martin Odersky | 2017-04-09 | 1 | -0/+3 |
| |/ / | |||||
* | | | Merge pull request #2208 from dotty-staging/fix-#2192 | Guillaume Martres | 2017-04-09 | 1 | -2/+12 |
|\ \ \ | |||||
| * | | | Fix #2192: Fullow supertypes when determining whether an expect type is a fun... | Martin Odersky | 2017-04-09 | 1 | -2/+12 |
| |/ / | |||||
* | | | Merge pull request #2205 from dotty-staging/fix-#2220 | odersky | 2017-04-09 | 3 | -32/+70 |
|\ \ \ | |/ / |/| | | |||||
| * | | Fix documentation | Martin Odersky | 2017-04-09 | 1 | -4/+3 |
| * | | 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 |
* | | | 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 | 2 | -2/+2 |
|\ \ | |||||
| * | | Deterministically randomises test compilation order | Olivier Blanvillain | 2017-04-05 | 2 | -2/+2 |
* | | | 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 | 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 |