[commit: ghc] ghc-8.0: Clean up some pretty-printing in errors. (496c210)

[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/496c210b48d9779414fbf23354cad43534f41d72/ghc

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

commit 496c210b48d9779414fbf23354cad43534f41d72
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Mar 15 16:56:51 2016 -0400

    Clean up some pretty-printing in errors.
    
    It turns out that there were some pretty egregious mistakes
    in the code that suggested -fprint-explicit-kinds, which are
    fixed. This commit also reorders a bunch of error messages,
    which I think is an improvement.
    
    This also adds the test case for #11471, which is what
    triggered the cleanup in TcErrors. Now that #11473 is done,
    there is nothing more outstanding for #11471.
    
    test case: dependent/should_fail/T11471
    
    (cherry picked from commit 5d98b8bf249fab9bb0be6c5d4e8ddd4578994abb)


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

496c210b48d9779414fbf23354cad43534f41d72
 compiler/typecheck/TcErrors.hs                         | 15 +++++++++++----
 compiler/typecheck/TcType.hs                           | 14 ++++++++++----
 testsuite/tests/dependent/should_fail/T11471.hs        | 15 +++++++++++++++
 testsuite/tests/dependent/should_fail/T11471.stderr    | 18 ++++++++++++++++++
 testsuite/tests/dependent/should_fail/all.T            |  1 +
 .../tests/indexed-types/should_fail/NoMatchErr.stderr  |  4 ++--
 .../tests/indexed-types/should_fail/T1897b.stderr      |  4 ++--
 testsuite/tests/indexed-types/should_fail/T1900.stderr |  4 ++--
 testsuite/tests/indexed-types/should_fail/T2544.stderr |  8 ++++----
 testsuite/tests/indexed-types/should_fail/T2693.stderr |  2 +-
 testsuite/tests/indexed-types/should_fail/T4179.stderr |  2 +-
 testsuite/tests/indexed-types/should_fail/T7729.stderr |  2 +-
 .../tests/indexed-types/should_fail/T7729a.stderr      |  2 +-
 testsuite/tests/indexed-types/should_fail/T9036.stderr |  4 ++--
 testsuite/tests/indexed-types/should_fail/T9171.stderr |  1 +
 testsuite/tests/polykinds/T9144.stderr                 |  1 +
 testsuite/tests/typecheck/should_fail/T8030.stderr     |  4 ++--
 testsuite/tests/typecheck/should_fail/T8034.stderr     |  4 ++--
 testsuite/tests/typecheck/should_fail/T8142.stderr     |  4 ++--
 19 files changed, 79 insertions(+), 30 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 496c210b48d9779414fbf23354cad43534f41d72