[Haskell-cafe] GHC vs GCC
rl at cse.unsw.edu.au
Sat Mar 27 20:16:30 EDT 2010
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.
More information about the Haskell-Cafe