Add InjectiveTypeFamilies language extension
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 (cherry picked from commit fbd6de2f)
Showing
- compiler/main/DynFlags.hs 3 additions, 1 deletioncompiler/main/DynFlags.hs
- compiler/typecheck/TcTyClsDecls.hs 5 additions, 1 deletioncompiler/typecheck/TcTyClsDecls.hs
- compiler/typecheck/TcValidity.hs 1 addition, 1 deletioncompiler/typecheck/TcValidity.hs
- docs/users_guide/glasgow_exts.rst 3 additions, 0 deletionsdocs/users_guide/glasgow_exts.rst
- libraries/ghc-boot/GHC/LanguageExtensions.hs 1 addition, 0 deletionslibraries/ghc-boot/GHC/LanguageExtensions.hs
- testsuite/tests/driver/T11381.hs 9 additions, 0 deletionstestsuite/tests/driver/T11381.hs
- testsuite/tests/driver/T11381.stderr 5 additions, 0 deletionstestsuite/tests/driver/T11381.stderr
- testsuite/tests/driver/T4437.hs 2 additions, 1 deletiontestsuite/tests/driver/T4437.hs
- testsuite/tests/driver/all.T 1 addition, 0 deletionstestsuite/tests/driver/all.T
- testsuite/tests/ghci/scripts/T6018ghci.script 1 addition, 1 deletiontestsuite/tests/ghci/scripts/T6018ghci.script
- testsuite/tests/ghci/scripts/T6018ghcifail.script 1 addition, 1 deletiontestsuite/tests/ghci/scripts/T6018ghcifail.script
- testsuite/tests/ghci/scripts/T6018ghcirnfail.script 1 addition, 1 deletiontestsuite/tests/ghci/scripts/T6018ghcirnfail.script
- testsuite/tests/th/T6018th.hs 2 additions, 2 deletionstestsuite/tests/th/T6018th.hs
- testsuite/tests/th/T8884.hs 1 addition, 1 deletiontestsuite/tests/th/T8884.hs
- testsuite/tests/typecheck/should_compile/T6018.hs 1 addition, 1 deletiontestsuite/tests/typecheck/should_compile/T6018.hs
- testsuite/tests/typecheck/should_compile/T6018.hs-boot 1 addition, 1 deletiontestsuite/tests/typecheck/should_compile/T6018.hs-boot
- testsuite/tests/typecheck/should_compile/T6018a.hs 1 addition, 1 deletiontestsuite/tests/typecheck/should_compile/T6018a.hs
- testsuite/tests/typecheck/should_fail/T10836.hs 1 addition, 1 deletiontestsuite/tests/typecheck/should_fail/T10836.hs
- testsuite/tests/typecheck/should_fail/T6018Afail.hs 1 addition, 1 deletiontestsuite/tests/typecheck/should_fail/T6018Afail.hs
- testsuite/tests/typecheck/should_fail/T6018Bfail.hs 1 addition, 1 deletiontestsuite/tests/typecheck/should_fail/T6018Bfail.hs
Loading
Please register or sign in to comment