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

GHC ghc-devs at haskell.org
Fri Mar 14 12:48:55 UTC 2014


#8767: Add rules involving `coerce` to the libraries
-------------------------------------------------+-------------------------
        Reporter:  nomeata                       |            Owner:
            Type:  task                          |           Status:  new
        Priority:  normal                        |        Milestone:  7.8.1
       Component:  libraries/base                |          Version:
      Resolution:                                |  7.8.1-rc2
Operating System:  Unknown/Multiple              |         Keywords:
 Type of failure:  None/Unknown                  |     Architecture:
       Test Case:                                |  Unknown/Multiple
  tests/simplCore/should_run/T2110.hs            |       Difficulty:
        Blocking:                                |  Unknown
                                                 |       Blocked By:  8718
                                                 |  Related Tickets:  #2110
-------------------------------------------------+-------------------------

Comment (by ekmett):

 You can defintely have users write the rule for particular functors of
 course, but that means reasonably polymorphic code that is too complicated
 to INLINE will get penalized asymptotically, so in the long run I'd really
 like to find a better solution that might have a chance of firing on my
 code. ;)

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


More information about the ghc-tickets mailing list