#9291: Don't reconstruct sum types if the type subtly changes -------------------------------------+------------------------------------- Reporter: schyler | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Resolution: | Keywords: 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 osa1): Is this related with typed-ness of the IR? I think if we do some of the transformations we do during `coreToStg` we would have the same problem in Core too. I'm wondering if a solution could be as simple as treating state tokens as different from each other when comparing expressions... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9291#comment:35 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler