[MLton] implement _address and _symbol
Wesley W. Terpstra
Thu, 21 Jul 2005 21:36:36 +0200
I was talking about the roots themselves being reference counted.
On Fri, Jul 22, 2005 at 05:20:09AM +1000, skaller wrote:
> There *cannot* be a problem with cycles. Roots are
> ordinary heap pointers.
If the heap Pinned.t keeps the pin/root alive, and only that root keeps
the Pinned.t alive, you have a cycle the GC won't catch. In order to
do this, you would need to use a datatype since 'a t t t t t is acyclic.
Wesley W. Terpstra <firstname.lastname@example.org>