aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #2215 from dotty-staging/#2142odersky2017-04-117-15/+71
|\
| * Align safe parameter substitution with other subst methodsMartin Odersky2017-04-102-6/+6
| * Generalize definition of Type#isStableMartin Odersky2017-04-101-2/+3
| * Skolemize arguments to dependent methods as necessary.Martin Odersky2017-04-103-4/+49
| * Explain skolem typesMartin Odersky2017-04-101-3/+11
| * Handle printing of term paramrefsMartin Odersky2017-04-102-6/+8
* | Merge pull request #2217 from dotty-staging/upgrade/sbt0.13.15Felix Mulder2017-04-101-1/+1
|\ \
| * | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 20:03:23 +0000