De-monadise the 'extract' functions in RnTypes
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 25 Oct 2018 16:33:12 +0000 (17:33 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 Oct 2018 09:54:09 +0000 (10:54 +0100)
commite6bf96c9700aacbd75169dbf2cc14c9216c0133f
tree1e5071a4e80b29e0b66c66a15d2c8665fc9517ea
parent9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91
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.
compiler/rename/RnSource.hs
compiler/rename/RnTypes.hs
compiler/typecheck/TcSplice.hs