aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/hk.scala
Commit message (Collapse)AuthorAgeFilesLines
* Fix test casesMartin Odersky2016-03-111-1/+1
| | | | The test contained an error that was unvovered by the "Nothing is not Nullable" fix.
* Fix and enable RefChecksMartin Odersky2014-08-131-3/+3
| | | | RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct.
* Handling higher-kinded types with lambdasMartin Odersky2014-06-181-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 Odersky2013-12-311-0/+35