[Haskell-cafe] GHC vs GCC

[Tillmann Rendel]

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.  

Could the result of strictness analysis reported in terms of the 
original Haskell program?

   > ghc -O2 -ddump-strictness test.hs

   test.hs:3:1:
       Top-level function `foo' is found to be strict in the
       first and third argument.

This could help people gain confidence in the strictness analyzer.

   Tillmann