| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Avoid dealiasing on type application | Martin Odersky | 2016-07-12 | 1 | -1/+1 |
| | | | | | | | | | | When applying a type alias of a type lambda, keep the original application instead of reducing. But reduce anyway if - the reduced type is an application where the type constructor has the same kind as the original type constructor, or - some of the arguments are wildcards. | ||||
| * | Fix SI-2712 | Martin Odersky | 2016-07-11 | 1 | -2/+2 |
| | | | | | | Allows partially instantiated types as type constrictors when inferring higher-kinded types. | ||||
| * | Added test case for LMS inspired HK code. | Martin Odersky | 2014-06-26 | 1 | -0/+43 |
| Closes #94. | |||||
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |