#12364: Demand analysis for sum types -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nomeata):
I could probably dig up some examples of where it produces incorrect results if you'd like.
Isn’t it like that similar example will work for recursive product types, and hence be (likely obscure and rare, but still real) bugs in the current code? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12364#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler