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

[git at git.haskell.org]

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

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

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

commit a99a43bbb7a8a506f31307591b3ee8e9ba3c4c6f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Dec 6 09:24:44 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.)


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

a99a43bbb7a8a506f31307591b3ee8e9ba3c4c6f
 compiler/typecheck/ClsInst.hs      |  15 +++--
 compiler/typecheck/FamInst.hs      |  12 ++--
 compiler/typecheck/Inst.hs         |  18 +++---
 compiler/typecheck/TcCanonical.hs  |  46 ++++++++-------
 compiler/typecheck/TcDeriv.hs      |  48 ++++++++-------
 compiler/typecheck/TcDerivInfer.hs |  25 ++++----
 compiler/typecheck/TcErrors.hs     |  12 ++--
 compiler/typecheck/TcExpr.hs       |   8 ++-
 compiler/typecheck/TcFlatten.hs    |  21 ++++---
 compiler/typecheck/TcHsSyn.hs      |   4 +-
 compiler/typecheck/TcHsType.hs     |  29 ++++------
 compiler/typecheck/TcInstDcls.hs   |   2 +-
 compiler/typecheck/TcInteract.hs   |   5 +-
 compiler/typecheck/TcMType.hs      | 116 ++++++++++++++++++++++++++++++++++---
 compiler/typecheck/TcPat.hs        |   3 +-
 compiler/typecheck/TcPatSyn.hs     |  40 ++++++-------
 compiler/typecheck/TcRnDriver.hs   |   9 +--
 compiler/typecheck/TcSimplify.hs   |  37 ++++++++----
 compiler/typecheck/TcSplice.hs     |   6 +-
 compiler/typecheck/TcTyClsDecls.hs |  17 +++---
 compiler/typecheck/TcUnify.hs      |  30 +++++-----
 compiler/typecheck/TcValidity.hs   |  25 ++++----
 compiler/types/Type.hs             |  37 +-----------
 compiler/utils/Bag.hs              |  17 +++++-
 24 files changed, 351 insertions(+), 231 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 a99a43bbb7a8a506f31307591b3ee8e9ba3c4c6f