[Haskell-cafe] GHC vs GCC

[Roman Leshchinskiy]

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