aboutsummaryrefslogtreecommitdiff
path: root/hypsrc-test/src/Polymorphism.hs
Commit message (Collapse)AuthorAgeFilesLines
* hypsrc-test: Accept test outputBen Gamari2016-02-081-4/+4
| | | | And fix impredicative Polymorphism testcase.
* Add scoped type variables test for polymorphism test case.Łukasz Hanuszczak2015-07-011-0/+11
|
* Create hyperlinker test case with quantified type variables.Łukasz Hanuszczak2015-07-011-0/+55