27 Mar
2010
27 Mar
'10
1:45 p.m.
Jan-Willem Maessen wrote:
It's worth pointing out that there's a bit of bang-pattern mysticism going on in this conversation (which has not been uncommon of late!). A non-buggy strictness analyzer should expose the strictness of these functions without difficulty.
Could the result of strictness analysis reported in terms of the original Haskell program?
ghc -O2 -ddump-strictness test.hs
test.hs:3:1: Top-level function `foo' is found to be strict in the first and third argument. This could help people gain confidence in the strictness analyzer. Tillmann