Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adapt neg tests to new neg tests checks | VladimirNik | 2016-02-18 | 1 | -3/+3 |
| | |||||
* | Disallow existentially bound parameters as type parameters | Martin Odersky | 2015-12-06 | 1 | -0/+16 |
| | | | | | | | Done in order to keep the basics as simple as possible. Treating existentially bound parameters as still instantiatable type parameters does not seem to add anything fundamental, and makes the type system less regular. | ||||
* | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 1 | -11/+0 |
| | |||||
* | Disallow wildcard arguments to higher-kinded types... | Martin Odersky | 2015-09-18 | 1 | -0/+11 |
...unless the HK type can be eta-reduced to a class type. |