summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T16512b.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-071-1/+1
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-1/+1
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-0/+9