#5344: CSE should look through coercions -------------------------------------+------------------------------------- Reporter: reinerp | Owner: simonpj Type: feature request | Status: closed Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.0.3 Resolution: duplicate | Keywords: cse Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nomeata): Indeed it is easier as it can done by task. But I still believe type- changing CSE on the Core level is a research paper quality problem (and an interesting one!). We could keep this ticket open for that point in the design space, so if you want, feel free to reopen. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/5344#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler