
#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