[commit: ghc] master: Improve constraint-used-as-type error msg (5955510)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/5955510e5f57464b1f4f42b510e3558d6e691380/ghc

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

commit 5955510e5f57464b1f4f42b510e3558d6e691380
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Nov 23 08:35:44 2015 +0000

    Improve constraint-used-as-type error msg
    
    This responds to Trac #11112 by improving the error message
    when the kind checker discovers something of kind Constraint
    used when a type is expected


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

5955510e5f57464b1f4f42b510e3558d6e691380
 compiler/typecheck/TcHsType.hs                     | 60 ++++++++++++----------
 .../indexed-types/should_fail/SimpleFail14.stderr  |  4 +-
 testsuite/tests/typecheck/should_fail/T11112.hs    |  4 ++
 .../tests/typecheck/should_fail/T11112.stderr      |  4 ++
 testsuite/tests/typecheck/should_fail/T3540.stderr | 20 ++++----
 testsuite/tests/typecheck/should_fail/all.T        |  1 +
 .../tests/typecheck/should_fail/tcfail057.stderr   |  4 +-
 .../tests/typecheck/should_fail/tcfail146.stderr   |  4 +-
 8 files changed, 58 insertions(+), 43 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 5955510e5f57464b1f4f42b510e3558d6e691380