#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