On 28/03/2010, at 01:36, 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.

Actually, rangeJ is lazy in i and rangeK is lazy in i and j. GHC does unbox 
everything important here but that needs more optimisations than just 
strictness analysis. You are right, though, that GHC doesn't need bang patterns 
here.

Roman


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to