summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12563.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+3
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-1/+1
* Add regression tests for #11515 and #12563Ryan Scott2018-05-181-0/+11