summaryrefslogtreecommitdiff
path: root/test/files/pos/hkgadt.scala
Commit message (Expand)AuthorAgeFilesLines
* Added pos test with multiple cases; added neg tests.Miles Sabin2016-05-061-4/+21
* Added missing result type to test.Miles Sabin2016-04-201-1/+1
* SI-9760 Fix for higher-kinded GADT refinementMiles Sabin2016-04-191-0/+18