#2754: Strictness analyzer fails on an implementation of foldl
--------------------------------------+-------------------------------------
Reporter: nimnul | Owner:
Type: run-time performance bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.3
Severity: normal | Resolution: invalid
Keywords: | Difficulty: Unknown
Testcase: | Architecture: x86
Os: Windows |
--------------------------------------+-------------------------------------
Changes (by igloo):
* status: new => closed
* resolution: => invalid
Comment:
Right, `foldA` is only strict in `r` if `op` is strict in its first
argument. Depending on how you write `foldA`, and what other optimisations
(such as inlining) happen, GHC might be able to tell that `op` is indeed
strict in its first argument, but otherwise it must assume that it is not.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2754#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
