Another question about sharing

[Malcolm Wallace]

> 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