[commit: ghc] wip/T15952: Start on Trac #15952 (b169960)

[git at git.haskell.org]

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

On branch  : wip/T15952
Link       : http://ghc.haskell.org/trac/ghc/changeset/b169960c5ed45a7b6fa35d2dbcb66f44128f6a38/ghc

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

commit b169960c5ed45a7b6fa35d2dbcb66f44128f6a38
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Dec 5 08:43:59 2018 +0000

    Start on Trac #15952
    
    Actually it's working pretty well.  Just one error message regression
    in typecheck/should_fail/T15629.


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

b169960c5ed45a7b6fa35d2dbcb66f44128f6a38
 compiler/hsSyn/HsUtils.hs          |  2 +-
 compiler/main/GHC.hs               |  2 +-
 compiler/main/InteractiveEval.hs   |  2 +-
 compiler/typecheck/Inst.hs         |  3 +-
 compiler/typecheck/TcHsType.hs     | 98 +++++++++++++++++++++++---------------
 compiler/typecheck/TcMType.hs      | 25 ++++++----
 compiler/typecheck/TcTyClsDecls.hs |  3 +-
 compiler/typecheck/TcType.hs       |  2 +-
 compiler/types/TyCoRep.hs          |  5 +-
 9 files changed, 88 insertions(+), 54 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 b169960c5ed45a7b6fa35d2dbcb66f44128f6a38