summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T13320.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+2
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-1/+2
* Add test for #13320David Feuer2017-05-041-0/+8