summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T16512b.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-0/+9