[commit: ghc] master: De-monadise the 'extract' functions in RnTypes (e6bf96c)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/e6bf96c9700aacbd75169dbf2cc14c9216c0133f/ghc

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

commit e6bf96c9700aacbd75169dbf2cc14c9216c0133f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Oct 25 17:33:12 2018 +0100

    De-monadise the 'extract' functions in RnTypes
    
    As Trac #15765 says, Once upon a time, the extract functions
    at the bottom of RnTypes were pure. Then, along came -XTypeInType,
    which needed to do a check in these functions for users mixing
    type variables with kind variables.
    
    Now, however, with -XTypeInType gone again, we no longer
    do this check. Thus, there is no reason to keep these
    functions monadic.


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

e6bf96c9700aacbd75169dbf2cc14c9216c0133f
 compiler/rename/RnSource.hs    |  26 +++---
 compiler/rename/RnTypes.hs     | 184 ++++++++++++++++++++---------------------
 compiler/typecheck/TcSplice.hs |   3 +-
 3 files changed, 102 insertions(+), 111 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 e6bf96c9700aacbd75169dbf2cc14c9216c0133f