[commit: ghc] wip/T15809: Yet more on family-instance checking (832f058)

[git at git.haskell.org]

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

On branch  : wip/T15809
Link       : http://ghc.haskell.org/trac/ghc/changeset/832f0589b1192ad0344a173dea4cdb91ccb0bffe/ghc

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

commit 832f0589b1192ad0344a173dea4cdb91ccb0bffe
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Nov 22 14:24:28 2018 +0000

    Yet more on family-instance checking
    
    Following conversation with Richard yesterday.
    
    Very close now.  Comments to be written.


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

832f0589b1192ad0344a173dea4cdb91ccb0bffe
 compiler/hsSyn/HsDecls.hs                          |  57 +++----
 compiler/hsSyn/HsTypes.hs                          |  69 ++++----
 compiler/nativeGen/CFG.hs                          |   1 -
 compiler/parser/RdrHsSyn.hs                        |   8 +-
 compiler/typecheck/Inst.hs                         |   2 +-
 compiler/typecheck/TcHsType.hs                     |   5 +-
 compiler/typecheck/TcInstDcls.hs                   | 125 ++++++++-------
 compiler/typecheck/TcMType.hs                      | 155 +++++++++---------
 compiler/typecheck/TcSigs.hs                       |  21 +--
 compiler/typecheck/TcTyClsDecls.hs                 | 173 +++++++++++++--------
 compiler/types/Unify.hs                            |  43 +++--
 .../should_fail/ExplicitForAllFams4b.hs            |   1 +
 .../should_fail/ExplicitForAllFams4b.stderr        |  54 +++++--
 .../indexed-types/should_fail/SimpleFail9.stderr   |   2 +-
 .../tests/indexed-types/should_fail/T12041.stderr  |  11 +-
 .../tests/indexed-types/should_fail/T13972.hs      |   6 +
 .../tests/indexed-types/should_fail/T13972.stderr  |   7 -
 .../tests/indexed-types/should_fail/T14045a.hs     |   5 +
 .../tests/indexed-types/should_fail/T14045a.stderr |   7 -
 testsuite/tests/indexed-types/should_fail/T9160.hs |   1 +
 .../tests/indexed-types/should_fail/T9160.stderr   |  13 +-
 testsuite/tests/indexed-types/should_fail/all.T    |   4 +-
 .../tests/partial-sigs/should_fail/T14040a.stderr  |   8 +-
 testsuite/tests/polykinds/T14450.stderr            |  12 +-
 testsuite/tests/polykinds/T14846.stderr            |  36 +++--
 25 files changed, 446 insertions(+), 380 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 832f0589b1192ad0344a173dea4cdb91ccb0bffe