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