summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T12427a.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+13
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-2/+3
* Fix error-message suppress on given equalitiesSimon Peyton Jones2017-03-271-18/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-0/+33