[commit: ghc] wip/new-flatten-skolems-Aug14: MOre progress (a5fb4ba)

[git at git.haskell.org]

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

On branch  : wip/new-flatten-skolems-Aug14
Link       : http://ghc.haskell.org/trac/ghc/changeset/a5fb4ba4fc38d1b76549e49d3fcbf6b4e44ae0d2/ghc

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

commit a5fb4ba4fc38d1b76549e49d3fcbf6b4e44ae0d2
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Oct 2 16:37:58 2014 +0100

    MOre progress


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

a5fb4ba4fc38d1b76549e49d3fcbf6b4e44ae0d2
 compiler/basicTypes/SrcLoc.lhs                     |  29 ++--
 compiler/ghci/RtClosureInspect.hs                  |  10 +-
 compiler/typecheck/FamInst.lhs                     |  13 +-
 compiler/typecheck/Inst.lhs                        |   6 +-
 compiler/typecheck/TcCanonical.lhs                 | 152 ++++++++++++---------
 compiler/typecheck/TcDeriv.lhs                     |   4 +-
 compiler/typecheck/TcExpr.lhs                      |  18 +--
 compiler/typecheck/TcGenDeriv.lhs                  |   2 +-
 compiler/typecheck/TcGenGenerics.lhs               |   1 +
 compiler/typecheck/TcInteract.lhs                  |  65 ++++++++-
 compiler/typecheck/TcMType.lhs                     | 106 +++++++-------
 compiler/typecheck/TcPat.lhs                       |  17 +--
 compiler/typecheck/TcRnTypes.lhs                   |  69 ++++------
 compiler/typecheck/TcSMonad.lhs                    |  79 +++++++----
 compiler/typecheck/TcSimplify.lhs                  |   4 +-
 testsuite/tests/gadt/T3169.stderr                  |   4 +-
 .../indexed-types/should_compile/T3208b.stderr     |   6 +-
 .../indexed-types/should_fail/GADTwrong1.stderr    |   7 +-
 .../indexed-types/should_fail/NoMatchErr.stderr    |   5 +-
 .../indexed-types/should_fail/Overlap9.stderr      |   5 +-
 .../tests/indexed-types/should_fail/T1897b.stderr  |   6 +-
 .../tests/indexed-types/should_fail/T1900.stderr   |   5 +-
 .../tests/indexed-types/should_fail/T2544.stderr   |   6 +-
 .../tests/indexed-types/should_fail/T2664.stderr   |  10 +-
 .../tests/indexed-types/should_fail/T4179.stderr   |   9 +-
 .../tests/indexed-types/should_fail/T4272.stderr   |   6 +-
 .../tests/indexed-types/should_fail/T5439.stderr   |   3 +-
 .../tests/indexed-types/should_fail/T5934.stderr   |   3 +-
 .../tests/indexed-types/should_fail/T7010.stderr   |   2 +-
 .../tests/indexed-types/should_fail/T7729.stderr   |   5 +-
 .../tests/indexed-types/should_fail/T8518.stderr   |  13 +-
 .../tests/indexed-types/should_fail/T9036.stderr   |   4 +-
 testsuite/tests/th/T5290.stderr                    |   6 +-
 testsuite/tests/th/T5508.stderr                    |   8 +-
 testsuite/tests/th/TH_PromotedTuple.stderr         |   6 +-
 testsuite/tests/th/all.T                           |   6 +-
 .../tests/typecheck/should_compile/FD1.stderr      |   6 +-
 .../tests/typecheck/should_compile/FD2.stderr      |  13 +-
 testsuite/tests/typecheck/should_compile/T3346.hs  |   4 +-
 testsuite/tests/typecheck/should_fail/T1899.stderr |  10 +-
 testsuite/tests/typecheck/should_fail/T2688.stderr |   5 +-
 testsuite/tests/typecheck/should_fail/T7453.stderr |  14 +-
 testsuite/tests/typecheck/should_fail/T8142.stderr |   6 +-
 .../tests/typecheck/should_fail/tcfail068.stderr   |  33 +----
 .../tests/typecheck/should_fail/tcfail131.stderr   |   5 +-
 45 files changed, 403 insertions(+), 393 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 a5fb4ba4fc38d1b76549e49d3fcbf6b4e44ae0d2