[GHC] #8767: Add rules involving `coerce` to the libraries

GHC ghc-devs at haskell.org
Tue Feb 11 15:44:41 UTC 2014


#8767: Add rules involving `coerce` to the libraries
------------------------------------+-------------------------------------
       Reporter:  nomeata           |             Owner:
           Type:  task              |            Status:  new
       Priority:  normal            |         Milestone:
      Component:  libraries/base    |           Version:  7.9
       Keywords:                    |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
     Difficulty:  Unknown           |         Test Case:
     Blocked By:  8718              |          Blocking:
Related Tickets:  #2110             |
------------------------------------+-------------------------------------
 With #2110 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.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8767>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list