Another question about sharing
Malcolm Wallace
Malcolm.Wallace@cs.york.ac.uk
Mon, 10 Dec 2001 15:13:35 +0000
> 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