[commit: ghc] wip/T15952: Make tcTypeKind monadic (f444923)

[git at git.haskell.org]

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

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

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

commit f4449232e43784abff325bd3bf90f3cb5857b28b
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Dec 24 14:55:41 2018 +0000

    Make tcTypeKind monadic
    
    This patch is work in progress on Trac #15952.
    
    IT DOES NOT COMPILE.
    
    The main payload is progress towards making tcTypeKind monadic.
    However I have not yet made a monadic version of tcEqType, nor
    changed all those tcEqType calls to a monadic context.  Hence,
    it won't compile as-is.
    
    I'm just parking the work I've done, on a branch,
    until I've had a chance to agree the path with Richard.
    
    (The previous patches on this branch /do/ compile and
    almost-completely validate.)


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

f4449232e43784abff325bd3bf90f3cb5857b28b
 compiler/typecheck/FamInst.hs      |  12 +-
 compiler/typecheck/Inst.hs         |  29 +++--
 compiler/typecheck/TcCanonical.hs  |  94 +++++++-------
 compiler/typecheck/TcDeriv.hs      |  49 ++++----
 compiler/typecheck/TcDerivInfer.hs |  25 ++--
 compiler/typecheck/TcErrors.hs     |  21 ++--
 compiler/typecheck/TcExpr.hs       |   8 +-
 compiler/typecheck/TcFlatten.hs    |  35 ++----
 compiler/typecheck/TcHsSyn.hs      |  10 +-
 compiler/typecheck/TcHsType.hs     |  31 ++---
 compiler/typecheck/TcInstDcls.hs   |   2 +-
 compiler/typecheck/TcInteract.hs   |   6 +-
 compiler/typecheck/TcMType.hs      | 249 +++++++++++++++++++++++++++++++++++--
 compiler/typecheck/TcPat.hs        |   3 +-
 compiler/typecheck/TcPatSyn.hs     |  42 +++----
 compiler/typecheck/TcRnDriver.hs   |   9 +-
 compiler/typecheck/TcSMonad.hs     |  13 +-
 compiler/typecheck/TcSplice.hs     |   6 +-
 compiler/typecheck/TcTyClsDecls.hs |  17 +--
 compiler/typecheck/TcType.hs       | 166 +++++++++++--------------
 compiler/typecheck/TcUnify.hs      |  32 ++---
 compiler/types/Type.hs             |  37 +++---
 22 files changed, 551 insertions(+), 345 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 f4449232e43784abff325bd3bf90f3cb5857b28b