On Sat, Mar 27, 2010 at 1:45 PM, Tillmann Rendel <[email protected]> wrote: > 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 <[email protected]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
