[GHC] #12364: Demand analysis for sum types

[GHC]

#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