#2110: Rules to eliminate casted id's -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 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 nomeata):
I’m not convinced about your solution. It seems a bit of a hack.
I’m just re-reading this thread, and it seems that my proposed solution (replace `Coercible` in a rule with `~R#`, and inline `coercoe`) is precisely what we had concluded last week – is that right or was there a misunderstanding on my side? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/2110#comment:40 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler