[commit: ghc] wip/T15952: Furher work on monadic tcTypeKind (2f8f5ad)

[git at git.haskell.org]

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

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

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

commit 2f8f5ad3feb77ce7040d7c0f3e44bf58648a7554
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 15 10:35:28 2019 +0000

    Furher work on monadic tcTypeKind
    
    This version is nearly validate-clean, modulo a failure in
       rename/should_compile/T4239
    
    But Richard and I now plan a different path, so I'm going
    to park this.


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

2f8f5ad3feb77ce7040d7c0f3e44bf58648a7554
 compiler/typecheck/Inst.hs         |  1 -
 compiler/typecheck/TcCanonical.hs  | 31 +++++++++++++------------------
 compiler/typecheck/TcDeriv.hs      | 20 +++++++++++---------
 compiler/typecheck/TcDerivInfer.hs |  8 ++++----
 compiler/typecheck/TcDerivUtils.hs | 21 ++++++++++++++-------
 compiler/typecheck/TcErrors.hs     | 12 ++++++------
 compiler/typecheck/TcHsType.hs     |  0
 compiler/typecheck/TcMType.hs      |  2 +-
 compiler/typecheck/TcRnDriver.hs   |  3 +--
 compiler/typecheck/TcSplice.hs     |  2 +-
 compiler/typecheck/TcTyClsDecls.hs |  8 ++++----
 11 files changed, 55 insertions(+), 53 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 2f8f5ad3feb77ce7040d7c0f3e44bf58648a7554