#2110: Rules to eliminate casted id's -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: patch Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Joachim Breitner <mail@…>): In [changeset:"b4715d67ae90f4cc847daa94f0fc056a40057d65/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="b4715d67ae90f4cc847daa94f0fc056a40057d65" Replace forall'ed Coercible by ~R# in RULES we want a rule "map coerce = coerce" to match the core generated for "map Age" (this is #2110). }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2110#comment:46> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler