Add rules involving `coerce` to the libraries
With #2110 (closed) fixed, we can now add rules like
{-# RULES "map/coerce" [0] map coerce = coerce #-}
to the standard libraries. But probably this should happen together or after #8718 (closed).
Trac metadata
Trac field | Value |
---|---|
Version | 7.9 |
Type | Task |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |