Make the "extract" functions in RnTypes pure
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.
Trac metadata
Trac field | Value |
---|---|
Version | 8.6.1 |
Type | Task |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |