summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T11514.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+3
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-0/+9