Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix test cases | Martin Odersky | 2016-03-11 | 1 | -1/+1 |
| | | | | The test contained an error that was unvovered by the "Nothing is not Nullable" fix. | ||||
* | Fix and enable RefChecks | Martin Odersky | 2014-08-13 | 1 | -3/+3 |
| | | | | RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct. | ||||
* | Handling higher-kinded types with lambdas | Martin Odersky | 2014-06-18 | 1 | -10/+31 |
| | | | | | Switch to the new scheme where higher-kinded types (and also some polymorphic type aliases) are represented as instances of Lambda traits. | ||||
* | Upgrades to handle subtyping between parameterized and higher-kinded types. | Martin Odersky | 2013-12-31 | 1 | -0/+35 |