Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename InjectiveTypeFamilies to TypeFamilyDependencies | Ben Gamari | 2016-01-14 | 1 | -1/+1 |
| | |||||
* | Add InjectiveTypeFamilies language extension | Jan Stolarek | 2016-01-09 | 1 | -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 |