[commit: ghc] wip/T10832-generalised-injectivity: Generalized injective type families (332bc0d)

[git at git.haskell.org]

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

On branch  : wip/T10832-generalised-injectivity
Link       : http://ghc.haskell.org/trac/ghc/changeset/332bc0d3af0a208ad310ce28cf798d4682423329/ghc

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

commit 332bc0d3af0a208ad310ce28cf798d4682423329
Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
Date:   Wed Dec 23 10:18:44 2015 +0000

    Generalized injective type families
    
    (As modified onto HEAD, 23 Dec 15)
    
    Summary:
    Generalization of injective type families to match the expressiveness of
    functional dependencies, as briefly outlined in Section 7 of "Injective type
    families for Haskell" Haskell Symposium 2015 paper.  See also injectivity of
    type C described on the wiki page
    https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies
    
    Test Plan: ./validate
    
    Reviewers: simonpj, austin, goldfire, bgamari
    
    Subscribers: thomie, mpickering
    
    Projects: #ghc
    
    Differential Revision: https://phabricator.haskell.org/D1287
    
    GHC Trac Issues: #10832


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

332bc0d3af0a208ad310ce28cf798d4682423329
 compiler/deSugar/DsMeta.hs                         | 18 +++++--
 compiler/hsSyn/Convert.hs                          | 15 ++++--
 compiler/hsSyn/HsDecls.hs                          | 21 ++++++--
 compiler/iface/IfaceSyn.hs                         | 18 ++++---
 compiler/parser/Parser.y                           | 31 +++++++----
 compiler/prelude/THNames.hs                        | 61 ++++++++++++----------
 compiler/rename/RnSource.hs                        | 35 +++++++++----
 compiler/typecheck/FamInst.hs                      | 57 ++++++++++++--------
 compiler/typecheck/TcInteract.hs                   | 47 +++++++++++------
 compiler/typecheck/TcSplice.hs                     | 11 ++--
 compiler/typecheck/TcTyClsDecls.hs                 | 29 +++++++---
 compiler/typecheck/TcValidity.hs                   | 15 +++---
 compiler/types/FamInstEnv.hs                       | 27 +++++-----
 compiler/types/TyCon.hs                            | 11 ++--
 compiler/types/Unify.hs                            | 15 +++---
 libraries/ghci/GHCi/TH/Binary.hs                   |  2 +-
 libraries/template-haskell/Language/Haskell/TH.hs  |  4 +-
 .../template-haskell/Language/Haskell/TH/Lib.hs    | 10 ++--
 .../template-haskell/Language/Haskell/TH/Ppr.hs    | 10 ++--
 .../template-haskell/Language/Haskell/TH/Syntax.hs |  5 +-
 20 files changed, 285 insertions(+), 157 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 332bc0d3af0a208ad310ce28cf798d4682423329