[commit: ghc] wip/rae-new-coercible: Lots of bugfixing. (4ef3eeb)

[git at git.haskell.org]

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

On branch  : wip/rae-new-coercible
Link       : http://ghc.haskell.org/trac/ghc/changeset/4ef3eeb442394eb5dccf092f40dccde285f86b42/ghc

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

commit 4ef3eeb442394eb5dccf092f40dccde285f86b42
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Dec 2 13:26:20 2014 -0500

    Lots of bugfixing.
    
    The biggest change is the addition of topNormaliseNewTypeTF_maybe,
    which does exactly what is necessary in the canonicaliser. There's
    a little code duplication, but this is much cleaner than what I had
    before, which redundantly unwrapped type families, among other
    nastiness.


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

4ef3eeb442394eb5dccf092f40dccde285f86b42
 compiler/typecheck/FamInst.lhs                    |  73 +-----------
 compiler/typecheck/TcCanonical.lhs                | 116 +++++++++---------
 compiler/typecheck/TcErrors.lhs                   |  28 ++++-
 compiler/typecheck/TcEvidence.lhs                 | 138 +++++++++++++++++++++-
 compiler/typecheck/TcExpr.lhs                     |   2 +-
 compiler/typecheck/TcRnTypes.lhs                  |   9 +-
 testsuite/tests/deriving/should_fail/T1496.stderr |  14 +--
 testsuite/tests/deriving/should_fail/T4846.stderr |   9 +-
 testsuite/tests/deriving/should_fail/T5498.stderr |  16 +--
 testsuite/tests/deriving/should_fail/T6147.stderr |  12 +-
 testsuite/tests/deriving/should_fail/T7148.stderr |  36 ++----
 testsuite/tests/deriving/should_fail/T8851.stderr |  22 ++--
 testsuite/tests/gadt/CasePrune.stderr             |  12 +-
 testsuite/tests/ghci/scripts/ghci051.stderr       |   2 +-
 14 files changed, 286 insertions(+), 203 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 4ef3eeb442394eb5dccf092f40dccde285f86b42