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. |