#9291: Don't reconstruct sum types if the type subtly changes ----------------------------+---------------------------------------------- Reporter: schyler | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.8.2 Component: | Keywords: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Comment (by nomeata):
I would be less interested in the cost of the operation as much as I would be interested in the possibility that the CSE could merge multiple branches, which means loops can be tighter. Your idea is absolutely glorious.
If you worry about small resulting code, then doing the transformation in STG (which is untyped) might be feasible. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9291#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler