[commit: ghc] wip/T15809: Better validity checks, simplification (3915172)

[git at git.haskell.org]

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

On branch  : wip/T15809
Link       : http://ghc.haskell.org/trac/ghc/changeset/39151721cab828343071460f3de8c8f170e0311f/ghc

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

commit 39151721cab828343071460f3de8c8f170e0311f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Nov 15 23:29:34 2018 +0000

    Better validity checks, simplification


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

39151721cab828343071460f3de8c8f170e0311f
 compiler/typecheck/TcGenDeriv.hs                   |   3 +-
 compiler/typecheck/TcHsType.hs                     |  66 +++---
 compiler/typecheck/TcInstDcls.hs                   |  43 +++-
 compiler/typecheck/TcTyClsDecls.hs                 | 223 ++++++++++++++++++-
 compiler/typecheck/TcValidity.hs                   | 239 ++-------------------
 .../should_fail/ExplicitForAllFams4b.stderr        |  63 ++++--
 .../indexed-types/should_fail/SimpleFail2a.stderr  |   2 +-
 .../tests/indexed-types/should_fail/T14045a.stderr |   2 +-
 testsuite/tests/polykinds/T13985.hs                |   1 +
 testsuite/tests/polykinds/T13985.stderr            |  10 +-
 10 files changed, 338 insertions(+), 314 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 39151721cab828343071460f3de8c8f170e0311f