Another question about sharing

Malcolm Wallace
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