diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-25 17:33:12 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-26 10:54:09 +0100 |
| commit | e6bf96c9700aacbd75169dbf2cc14c9216c0133f (patch) | |
| tree | 1e5071a4e80b29e0b66c66a15d2c8665fc9517ea /compiler/typecheck/TcTyClsDecls.hs | |
| parent | 9a779d9fe05a0e6eec1db9b5c22fb5e9ae81eb91 (diff) | |
| download | haskell-e6bf96c9700aacbd75169dbf2cc14c9216c0133f.tar.gz | |
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.
Diffstat (limited to 'compiler/typecheck/TcTyClsDecls.hs')
0 files changed, 0 insertions, 0 deletions