[commit: ghc] ghc-8.0: Wrap solveEqualities in checkNoErrs (d0010d7)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/d0010d749f80b405f991e88e0e953a21d54a744d/ghc

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

commit d0010d749f80b405f991e88e0e953a21d54a744d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Feb 10 14:32:22 2016 +0000

    Wrap solveEqualities in checkNoErrs
    
    This simple change fixes Trac #11563, #11520, #11516, #11399.
    See esp the comments in #11520.
    
    See Note [Fail fast on kind errors] in TcSimplify
    
    Merge to 8.0 branch
    
    (cherry picked from commit b565830dda0994d5d67617039db3310f81e831c8)


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

d0010d749f80b405f991e88e0e953a21d54a744d
 compiler/typecheck/TcSimplify.hs                   | 24 ++++++++++--
 compiler/typecheck/TcTyClsDecls.hs                 |  6 +--
 testsuite/tests/polykinds/T11399.hs                |  7 ++++
 testsuite/tests/polykinds/T11399.stderr            |  9 +++++
 .../should_compile => polykinds}/T11516.hs         |  0
 testsuite/tests/polykinds/T11516.stderr            |  5 +++
 testsuite/tests/polykinds/T11520.hs                | 16 ++++++++
 testsuite/tests/polykinds/T11520.stderr            |  6 +++
 testsuite/tests/polykinds/all.T                    |  3 ++
 .../tests/rename/should_fail/rnfail026.stderr      |  4 --
 testsuite/tests/typecheck/should_compile/all.T     |  1 -
 testsuite/tests/typecheck/should_fail/T11563.hs    |  5 +++
 .../tests/typecheck/should_fail/T11563.stderr      |  6 +++
 testsuite/tests/typecheck/should_fail/T2994.stderr | 44 ++++++++--------------
 testsuite/tests/typecheck/should_fail/T3540.stderr | 12 ------
 testsuite/tests/typecheck/should_fail/all.T        |  1 +
 16 files changed, 96 insertions(+), 53 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 d0010d749f80b405f991e88e0e953a21d54a744d