[commit: ghc] master: Refactor handling of decomposition. (7eceffb)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7eceffb3dd1e9c99218630b94ba97da483cec32d/ghc

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

commit 7eceffb3dd1e9c99218630b94ba97da483cec32d
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Jun 15 17:02:36 2015 -0400

    Refactor handling of decomposition.
    
    This adds the significant Note [Decomposing equalities] to
    TcCanonical, trying to sort out the various cases involved.
    
    The only functional change this commit should make is a different
    treatment of data families, which were wrong before (they could
    be decomposed at role R, which is wrong).


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

7eceffb3dd1e9c99218630b94ba97da483cec32d
 compiler/coreSyn/CoreLint.hs                       |   2 +-
 compiler/typecheck/TcCanonical.hs                  | 130 +++++++++++++++++----
 compiler/typecheck/TcErrors.hs                     |   2 +-
 compiler/typecheck/TcUnify.hs                      |   6 +-
 compiler/types/Coercion.hs                         |   2 +-
 compiler/types/OptCoercion.hs                      |   2 +-
 compiler/types/TyCon.hs                            |  56 +++++----
 compiler/types/Type.hs                             |   6 +-
 .../tests/typecheck/should_compile/RepArrow.hs     |   9 ++
 9 files changed, 160 insertions(+), 55 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 7eceffb3dd1e9c99218630b94ba97da483cec32d