summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T13822.hs
Commit message (Expand)AuthorAgeFilesLines
* Use GHC2021 as default languageJoachim Breitner2021-03-101-0/+1
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-1/+2
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+2
* testsuite: Add testcase for #13822Ben Gamari2017-06-191-0/+67