Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information