[GHC] #11770: Demand analysis: Wrong one-shot annotation due to fixed-point iteration

[GHC]

#11770: Demand analysis: Wrong one-shot annotation due to fixed-point iteration
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.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:D2085
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by nomeata):

 * status:  new => patch
 * differential:  Phab:D2070 => Phab:D2085


Comment:

 Ok, I found that the occurrence analyzer was not reliably setting OneShot
 annotations, and fixed it, and now there are no significatn performance
 changes at all.. Phew.

 So this seems to be safe to apply. I pushed it to phab (Phab:D2085) for
 review.

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