| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update tests to use new PolyType syntax. | Martin Odersky | 2016-10-12 | 1 | -6/+6 |
| | | |||||
| * | Disallow higher-kinded types that simulate general existential types | Martin Odersky | 2016-07-11 | 1 | -0/+61 |
| We cannot handle such types in general. So we now check that a hk application C[args] where some of the arguments are wildcards does not have as a supertype a hk application ([X] -> B)[args] | |||||
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |