[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