optimized profiled version of a program incorectly compiles $!
Here is a test program (file name prgSrc.hs):
import Data.Array.Unboxed
main = do
let l1 = [1..10] :: [Int]
let l2 = [ map (i+) l1 | i <- [1..5000000] ]
let l3 = map (\l -> listArray (1,length l) l) l2 :: [UArray Int Int]
print $ accumulate l3 0
accumulate [] rv = rv
accumulate (h:t) rv =
let nextRv = (rv + sum (elems h)) in
accumulate t $! nextRv
I used ghc 7.0.3-2 on archlinux, 64 bit version. I created it only to check how much memory short unboxed arrays consume. Thanks to the "$!" call at the last line of the "accumulate" function there should not be any stack overflow.
When I compile with these options:[[BR]] ghc --make prgSrc.hs[[BR]] ghc -O2 --make prgSrc.hs[[BR]] ghc -prof -auto-all -caf-all --make prgSrc.hs[[BR]] then there is no problem.
But when I compile with these options:[[BR]] ghc -O2 -prof -auto-all -caf-all --make prgSrc.hs[[BR]] then the program runs out of stack.
This indicates that there is a bug while compiling "$!" in an optimized profiling version of this program.
Trac metadata
Trac field | Value |
---|---|
Version | 7.0.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |