[GHC] #12368: Demand Analyzer: Cunnig plan not adhered to with aborting fixpoint interation

[GHC]

#12368: Demand Analyzer: Cunnig plan not adhered to with aborting fixpoint
interation
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  bug               |               Status:  patch
        Priority:  low               |            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):  Phab:D2392
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by nomeata):

 > I’ll try to produce a test case to verify that theory.

 I have one that shows the problem. I could not reproduce it in the
 previous code where the (unsound, as shown in the test case above)
 strictness signatures were used, and these then included the demand on the
 strict free variables.

 Anyways, I need to run now. I have updated Phab:D2392 with my current
 code, for easier review.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12368#comment:13>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler