[commit: ghc] ghc-8.0: Add InjectiveTypeFamilies language extension (62ce23f)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/62ce23f785fc735fa80f563d66db65e48bb0610d/ghc

>---------------------------------------------------------------

commit 62ce23f785fc735fa80f563d66db65e48bb0610d
Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
Date:   Sat Jan 9 20:58:52 2016 +0100

    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 fbd6de2f0761b63a5f0a88ce0590f515d63790a4)


>---------------------------------------------------------------

62ce23f785fc735fa80f563d66db65e48bb0610d
 compiler/main/DynFlags.hs                                 | 4 +++-
 compiler/typecheck/TcTyClsDecls.hs                        | 6 +++++-
 compiler/typecheck/TcValidity.hs                          | 2 +-
 docs/users_guide/glasgow_exts.rst                         | 3 +++
 libraries/ghc-boot/GHC/LanguageExtensions.hs              | 1 +
 testsuite/tests/driver/T11381.hs                          | 9 +++++++++
 testsuite/tests/driver/T11381.stderr                      | 5 +++++
 testsuite/tests/driver/T4437.hs                           | 3 ++-
 testsuite/tests/driver/all.T                              | 1 +
 testsuite/tests/ghci/scripts/T6018ghci.script             | 2 +-
 testsuite/tests/ghci/scripts/T6018ghcifail.script         | 2 +-
 testsuite/tests/ghci/scripts/T6018ghcirnfail.script       | 2 +-
 testsuite/tests/th/T6018th.hs                             | 4 ++--
 testsuite/tests/th/T8884.hs                               | 2 +-
 testsuite/tests/typecheck/should_compile/T6018.hs         | 2 +-
 testsuite/tests/typecheck/should_compile/T6018.hs-boot    | 2 +-
 testsuite/tests/typecheck/should_compile/T6018a.hs        | 2 +-
 testsuite/tests/typecheck/should_fail/T10836.hs           | 2 +-
 testsuite/tests/typecheck/should_fail/T6018Afail.hs       | 2 +-
 testsuite/tests/typecheck/should_fail/T6018Bfail.hs       | 2 +-
 testsuite/tests/typecheck/should_fail/T6018fail.hs        | 2 +-
 testsuite/tests/typecheck/should_fail/T6018failclosed.hs  | 4 ++--
 testsuite/tests/typecheck/should_fail/T6018failclosed2.hs | 2 +-
 utils/mkUserGuidePart/Options/Language.hs                 | 8 ++++++++
 24 files changed, 54 insertions(+), 20 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 62ce23f785fc735fa80f563d66db65e48bb0610d