#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