> 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

Reply via email to