summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T17021.hs
Commit message (Expand)AuthorAgeFilesLines
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-18/+0
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-0/+18