> 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