[Haskell-cafe] Problems with strictness analysis?
patai_gergely at fastmail.fm
Fri Nov 7 01:11:19 EST 2008
> I tried your example in GHC 6.10 and isum appears to work fine.
> The type of 10000000 gets defaulted to Integer, a specialized version
> of isum for Integer is then created, the strictness analyzer
> determines that isum is strict in s, and the code generator produces a
> loop. (If you want to look at the assembly code, it's easier if you
> make the type Int.)
Thanks for checking it. I'll be curious to see any improvements the new
version brings, but this sounds promising already.
http://www.fastmail.fm - The way an email service should be
More information about the Haskell-Cafe