#7994: Make foldl into a good consumer -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by nomeata): JFTR: Simon discussed this with me and encouraged me to pursue the analysis (but don’t merge it before 7.8 has been branched off). But even more so I’d like to record a few things about the `oneShot` approach: * Would also be nice, and can still be revived if we find cases where the analysis fails. * It should always be inlined when passed two arguments. * Could be made to inline very very late, but then it should have a strictness signature. * In that case, one would have to make sure it does not get in the way of CPR or other analysis. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7994#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler