> You can't rely on adding dummy arguments to cause re-evaluation:
> full-laziness (enabled when optimisation is on in GHC) will do the
> opposite transformation.
Well in this case, you may find it harder to claim that the full
laziness transformation constitutes an `optimisation'. Maybe the
GHC manual should have a section on "Flags for worsening the space
behaviour of programs". :-)
Seriously, would it be difficult to detect when performing this
`optimisation' would introduce a CAF and perhaps back it out
appropriately?
Regards,
Malcolm
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
