summaryrefslogtreecommitdiff
path: root/testsuite/tests/driver/T11381.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-2/+2
| | | | | | | | | Tracking ticket: #20117 MR: !10183 This converts uses of `mkTcRnUnknownMessage` to newly added constructors of `TcRnMessage`.
* Rename InjectiveTypeFamilies to TypeFamilyDependenciesBen Gamari2016-01-141-1/+1
|
* Add InjectiveTypeFamilies language extensionJan Stolarek2016-01-091-0/+9
Previously injective type families were part of TypeFamilies. Now they are in a separate language extension. Test Plan: ./validate Reviewers: austin, bgamari, goldfire Reviewed By: bgamari Subscribers: goldfire, thomie Differential Revision: https://phabricator.haskell.org/D1750 GHC Trac Issues: #11381