summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T11514.hs
Commit message (Expand)AuthorAgeFilesLines
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-0/+6