forwarded message from Henry Cejtin

[Stephen Weeks]

Received: from maguro.epr.com ([198.3.162.27]) by exchange.epr.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21)
	id CQH3P7LA; Tue, 23 Jan 2001 11:28:21 -0800
Received: from magrathea.epr.com (firewall-user@magrathea.epr.com [198.3.160.1])
	by maguro.epr.com (8.9.3/8.9.3) with ESMTP id LAA24353
	for <sweeks@intertrust.com>; Tue, 23 Jan 2001 11:32:58 -0800 (PST)
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id LAA22313 for <sweeks@intertrust.com>; Tue, 23 Jan 2001 11:32:58 -0800 (PST)
Received: from nodnsquery(199.249.165.245) by magrathea.epr.com via smap (V5.5)
	id xma022123; Tue, 23 Jan 01 11:32:41 -0800
Received: (from henry@localhost)
	by syzygy.clairv.com (8.9.3/8.9.3) id NAA23241
	for sweeks@intertrust.com; Tue, 23 Jan 2001 13:32:40 -0600
Message-Id: <200101231932.NAA23241@syzygy.clairv.com>
From: Henry Cejtin <henry@sourcelight.com>
To: sweeks@intertrust.com
Subject: Re: POPL
Date: Tue, 23 Jan 2001 13:32:40 -0600

re  language  support  for  property  lists, are you thinking of some kind of
weak-pointer thing, or something more than  that?   The  weak-pointer  notion
(jazzed  up for what property lists need) would make sense, but I don't think
I would want more than that built in.

As to Wang, yes, it is all in MLton.  He does CPS-conversion so that there is
no use of the stack (so that his GC can scan the continuation).

As  to  the number of object types before the I-cache would cause problems, I
would guess a MUCH smaller number.  Probably a few hundred.  The size of  the
L-1 I-cache is only 8 or 16K bytes.