27 Mar
2010
27 Mar
'10
3:23 p.m.
On Sat, Mar 27, 2010 at 1:45 PM, Tillmann Rendel
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?
That would be nice. Even if you're willing to read core, I'm not aware
that the output of -ddump-stranal is explained anywhere.
Incidentally, the results of -ddump-simpl when running on -O2 say that
GHC has unboxed every argument except the first argument to rangeJ.
--
Dave Menendez