[commit: ghc] master: Improve type-error reporting (1b476ab)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/1b476ab55be6c2c553988cc63d8e0c5473136275/ghc

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

commit 1b476ab55be6c2c553988cc63d8e0c5473136275
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Sep 21 17:39:18 2017 +0100

    Improve type-error reporting
    
    This patch does two things:
    
    * When reporting a hole, we now include its kind if the
      kind is not just '*'.  This addresses Trac #14265
    
    * When reporting things like "'a' is a rigid type varaible
      bound by ...", this patch arranges to group the type variables
      together, so we don't repeat the "bound by..." stuff endlessly


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

1b476ab55be6c2c553988cc63d8e0c5473136275
 compiler/typecheck/TcBinds.hs                      |  2 +-
 compiler/typecheck/TcErrors.hs                     | 86 ++++++++++++++--------
 compiler/typecheck/TcRnTypes.hs                    |  6 +-
 testsuite/tests/ghci/scripts/T10248.stderr         |  5 +-
 .../partial-sigs/should_compile/SuperCls.stderr    |  2 +-
 .../partial-sigs/should_compile/T10403.stderr      | 25 +++----
 .../partial-sigs/should_compile/T11016.stderr      |  2 +-
 .../partial-sigs/should_compile/T11192.stderr      | 10 +--
 .../partial-sigs/should_compile/T12033.stderr      | 12 +--
 .../partial-sigs/should_compile/T12844.stderr      | 21 +-----
 .../partial-sigs/should_compile/T12845.stderr      |  2 +-
 .../WarningWildcardInstantiations.stderr           |  5 +-
 .../tests/partial-sigs/should_fail/T10045.stderr   |  7 +-
 .../tests/partial-sigs/should_fail/T12634.stderr   |  2 +-
 .../should_fail/WildcardInstantiations.stderr      |  5 +-
 testsuite/tests/perf/compiler/T13035.stderr        |  2 +-
 testsuite/tests/polykinds/T14265.hs                | 11 +++
 testsuite/tests/polykinds/T14265.stderr            | 24 ++++++
 testsuite/tests/polykinds/all.T                    |  1 +
 19 files changed, 129 insertions(+), 101 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 1b476ab55be6c2c553988cc63d8e0c5473136275