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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
