[GHC] #15453: Bug in opt_trans_rule in OptCoercion

[GHC]

#15453: Bug in opt_trans_rule in OptCoercion
-------------------------------------+-------------------------------------
        Reporter:  ningning          |                Owner:  ningning
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.4.3
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D5018
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 That paper is from quite a while ago, before all these more recent
 innovations. I think adding the coercion optimization rules to the core-
 spec might indeed be the better route. I know Simon's on holiday for next
 stretch, so don't expect an answer from him soon.

 In the end, where the rules are isn't nearly as important as just having
 them written down somewhere. If you're happy adding to core-spec, go for
 it.

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