The Revenge of Finalizers

[Alastair Reid]

>> The problem is that the G-machine optimizes away some of the
>> updates which make sure that the heap is always in a consistent
>> state in a pure graph-reduction system.

> A pure G-machine updates all redexes, but the STG-machine only
> updates /shared/ redexes, yes?

It's a while since I looked at it but, IIRC, a naive graph reducer can
update the same redex multiple times while the G-machine tries to
update it just once.

--
Alastair