aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Upgrade to sbt 0.13.15Guillaume Martres2017-04-101-1/+1
|/ / / /
* | | | Merge pull request #2197 from dotty-staging/add-enum-exhaustivenessodersky2017-04-1014-105/+175
|\ \ \ \
| * | | | simplify exhaustivity check using ConstantTypeliu fengyun2017-04-061-49/+11
| * | | | add more enum exhaustivity testsliu fengyun2017-04-063-0/+77
| * | | | remove obsolete codeliu fengyun2017-04-061-9/+0
| * | | | exhaustivity support for enumsliu fengyun2017-04-069-56/+86
| * | | | Add child annotations for enum valuesMartin Odersky2017-04-063-4/+14
| | |/ / | |/| |
* | | | Merge pull request #2206 from dotty-staging/fix-#2198odersky2017-04-102-2/+10
|\ \ \ \ | |_|/ / |/| | |
| * | | Fix #2198: Don't widen module singletonsMartin Odersky2017-04-092-2/+10
* | | | Merge pull request #2207 from dotty-staging/fix-#2188Nicolas Stucki2017-04-092-0/+8
|\ \ \ \
| * | | | Fix #2188: Do cbn transform also on SelectsMartin Odersky2017-04-092-0/+8
| |/ / /
* | | | Merge pull request #2208 from dotty-staging/fix-#2192Guillaume Martres2017-04-092-2/+19
|\ \ \ \ | | |_|/ | |/| |
| * | | Fix #2192: Fullow supertypes when determining whether an expect type is a fun...Martin Odersky2017-04-092-2/+19
| |/ /
* | | Merge pull request #2205 from dotty-staging/fix-#2220odersky2017-04-095-32/+80
|\ \ \ | |/ / |/| |
| * | Fix documentationMartin Odersky2017-04-091-4/+3
| * | Tweak logic for hk type comparisonsMartin Odersky2017-04-092-0/+10
| * | Tweak logic for hk type comparisonsMartin Odersky2017-04-091-4/+3
| * | Three fixes wrt handlings of package objectsMartin Odersky2017-04-092-28/+68
* | | Merge pull request #2204 from dotty-staging/fix/i2201odersky2017-04-094-3/+39
|\ \ \ | |/ / |/| |
| * | Fix #2201: Less aggressive type application reduction for better inferenceGuillaume Martres2017-04-084-3/+39
|/ /
* | Merge pull request #2193 from dotty-staging/deterministic-testsFelix Mulder2017-04-063-4/+15
|\ \
| * | Use alphabetic sort by defaultOlivier Blanvillain2017-04-061-4/+11
| * | Deterministically randomises test compilation orderOlivier Blanvillain2017-04-053-4/+8
* | | Merge pull request #2187 from dotty-staging/fix-2166odersky2017-04-062-1/+12
|\ \ \ | |_|/ |/| |
| * | fix #2166: unpickling of shared CaseDefliu fengyun2017-04-042-1/+12
* | | Merge pull request #2121 from dotty-staging/change-merge-method-polyodersky2017-04-0670-988/+1032
|\ \ \
| * | | 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
| * | | 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
| * | | Make PolyType a ground typeMartin Odersky2017-04-062-1/+5
| * | | 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
| * | | Further refactoringsMartin Odersky2017-04-0621-146/+150
| * | | Rename PolyTypeTree -> LambdaTypeTreeMartin Odersky2017-04-0613-44/+44
| * | | Add HKTypeLambdaMartin Odersky2017-04-061-5/+40
| * | | Eliminate MethodOrPolyMartin Odersky2017-04-064-6/+4
| * | | Eliminate ParamTypeMartin Odersky2017-04-065-18/+12
| * | | replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-0617-45/+34
| * | | Add StarLambda, HKLambda abstractions ...Martin Odersky2017-04-061-70/+79
| * | | Make PolyTypes subtypes of LambdaTypesMartin Odersky2017-04-064-98/+89
| * | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 08:29:54 +0000