summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T6018fail.hs
Commit message (Expand)AuthorAgeFilesLines
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-151-2/+4
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-2/+2
* Rename InjectiveTypeFamilies to TypeFamilyDependenciesBen Gamari2016-01-141-1/+1
* Add InjectiveTypeFamilies language extensionJan Stolarek2016-01-091-1/+1
* Injective type familiesJan Stolarek2015-09-031-0/+134