[commit: ghc] wip/T15952: Complete making tcTypeKindM monadic (0ac3f45)

[git at git.haskell.org]

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

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

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

commit 0ac3f45e686eb7e3b1b75c13b9a56ac4614af31f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Sat Dec 29 22:09:06 2018 +0000

    Complete making tcTypeKindM monadic
    
    This completes the task of making tcTypeKindM monadic.
    A number of other functions had to become monadic too
      tcEqTypeM
      piResultTysM
      splitPiTyInvisibleM
      invisibleTyBndrCountM
      tcTupKindSortM
    
    I think this validates except for one minor regression in the
    error message of typecheck/should_fail/T15629, where we are now
    printing out an error message with synonym expanded.  Not quite
    sure why, but it seems like a good checkpoint.
    
    The goal is to get rid of mkNakecCastTy etc, which I have not yet
    done.  That's the next step.


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

0ac3f45e686eb7e3b1b75c13b9a56ac4614af31f
 compiler/typecheck/Inst.hs         |  61 +++++++----------
 compiler/typecheck/TcErrors.hs     |   4 +-
 compiler/typecheck/TcHsType.hs     | 100 +++++++++++++--------------
 compiler/typecheck/TcInstDcls.hs   |   2 +-
 compiler/typecheck/TcMType.hs      | 134 ++++++++++++++++++++++++++++++++-----
 compiler/typecheck/TcTyClsDecls.hs |   9 ++-
 compiler/typecheck/TcType.hs       |   9 +--
 compiler/typecheck/TcUnify.hs      |   5 +-
 compiler/typecheck/TcValidity.hs   |   2 +-
 compiler/types/TyCoRep.hs          |   6 +-
 compiler/types/Type.hs             |  50 ++------------
 compiler/types/Type.hs-boot        |   2 +-
 nofib                              |   2 +-
 testsuite/tests/polykinds/T9144.hs |  12 ++++
 14 files changed, 234 insertions(+), 164 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 0ac3f45e686eb7e3b1b75c13b9a56ac4614af31f