[MLton] implement _address and _symbol

Wesley W. Terpstra wesley@terpstra.ca
Thu, 21 Jul 2005 21:36:36 +0200


You've misunderstood.
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 <wesley@terpstra.ca>