[MLton] pinned objects (was: implement _address and _symbol)

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


On Thu, Jul 21, 2005 at 06:58:23AM -0700, Stephen Weeks wrote:
> > The way I see it, Pinned.t is (yet another) level of pointers. Here,
> > the Pinned.t lives on the heap, but points at the pin which lives
> > outside the heap, which points to the 'a which lives in the heap.
> 
> No extra level.  Underneath the :> we would have
>   
>   type MLton.Pinned.t = MLton.Pointer.t
> 
> There is no need for another level beyond the pin that lives outside
> the heap.  The ML value is the pin (address of the malloc'd object).

... which is exactly what I said.

Anyways, I don't need this particular feature, and am not brave enough
to touch the scary GC. So, don't even *think* about delegating. ;-)

PS. I thought you lived on the West Coast? You read the mailing list 
pretty damn early... Also, this has been bugging me for a while, what 
is your nationality? Stephan is a very German name, and I always have 
to double-check I've spelt your's correctly.

-- 
Wesley W. Terpstra