[commit: ghc] wip/T10832-generalised-injectivity: Big wad of refactoring (952b11f)

[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/952b11f2383f80bb1960ad2b1ce055258907f7ac/ghc

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

commit 952b11f2383f80bb1960ad2b1ce055258907f7ac
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Dec 24 14:21:20 2015 +0000

    Big wad of refactoring
    
    The main starting point is the representation of injectivity
    in TyCon.  See Note [Injecivity information] in TyCon


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

952b11f2383f80bb1960ad2b1ce055258907f7ac
 compiler/hsSyn/HsDecls.hs                          | 179 +++++++++++----------
 compiler/iface/IfaceSyn.hs                         |  30 ++--
 compiler/iface/TcIface.hs                          |   2 +-
 compiler/prelude/TysPrim.hs                        |   4 +-
 compiler/typecheck/FamInst.hs                      |  59 ++++---
 compiler/typecheck/TcInteract.hs                   |  44 ++---
 compiler/typecheck/TcSplice.hs                     |  41 ++---
 compiler/typecheck/TcTyClsDecls.hs                 |  46 +++---
 compiler/typecheck/TcTypeNats.hs                   | 109 ++++++-------
 compiler/typecheck/TcValidity.hs                   |   6 +-
 compiler/types/FamInstEnv.hs                       |  42 +++--
 compiler/types/TyCoRep.hs                          |  10 +-
 compiler/types/TyCoRep.hs-boot                     |   1 +
 compiler/types/TyCon.hs                            | 151 ++++++++++++-----
 compiler/types/Type.hs                             |  25 +--
 compiler/types/Type.hs-boot                        |   4 +-
 compiler/types/Unify.hs                            |  20 ++-
 compiler/utils/Pair.hs                             |   7 +-
 .../template-haskell/Language/Haskell/TH/Syntax.hs |   2 +-
 19 files changed, 429 insertions(+), 353 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 952b11f2383f80bb1960ad2b1ce055258907f7ac