From z Fri Dec 01 19:16:04 2000
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 WNKAN7HM; Fri, 1 Dec 2000 10:13:55 -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 KAA14926
	for <sweeks@intertrust.com>; Fri, 1 Dec 2000 10:17:48 -0800 (PST)
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id KAA28361 for <sweeks@intertrust.com>; Fri, 1 Dec 2000 10:17:47 -0800 (PST)
Received: from nodnsquery(199.222.69.4) by magrathea.epr.com via smap (V5.5)
	id xma028127; Fri, 1 Dec 00 10:17:04 -0800
Received: from clairv.com (IDENT:root@pc246.edi.nunet.net [199.249.165.246])
	by mail.acm.org (8.9.3/8.9.3) with ESMTP id NAA50586
	for <sweeks@acm.org>; Fri, 1 Dec 2000 13:17:00 -0500
Received: from magrathea.epr.com (firewall-user@magrathea.epr.com [198.3.163.3])
	by clairv.com (8.9.3/8.9.3) with ESMTP id MAA10038
	for <MLton@sourcelight.com>; Fri, 1 Dec 2000 12:16:49 -0600
Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id KAA27926 for <MLton@sourcelight.com>; Fri, 1 Dec 2000 10:16:47 -0800 (PST)
Received: from unknown(198.3.162.27) by magrathea.epr.com via smap (V5.5)
	id xma027783; Fri, 1 Dec 00 10:16:24 -0800
Received: from eponym.epr.com (eponym.epr.com [10.1.1.123])
	by maguro.epr.com (8.9.3/8.9.3) with ESMTP id KAA14857
	for <MLton@sourcelight.com>; Fri, 1 Dec 2000 10:16:15 -0800 (PST)
Received: (from sweeks@localhost)
	by eponym.epr.com (8.9.3/8.9.3) id KAA09365;
	Fri, 1 Dec 2000 10:16:04 -0800
From: "Stephen Weeks" <sweeks@intertrust.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14887.60132.502432.435165@eponym.epr.com>
Date: Fri, 1 Dec 2000 10:16:04 -0800 (PST)
To: MLton@sourcelight.com
Reply-to: MLton@sourcelight.com
Subject: Re: property lists
In-Reply-To: <Pine.SOL.3.95.1001201013731.15050A-100000@hoho.cs.cornell.edu>
References: <14886.36931.18529.201405@eponym.epr.com>
	<Pine.SOL.3.95.1001201013731.15050A-100000@hoho.cs.cornell.edu>
X-Mailer: VM 6.71 under 20.4 "Emerald" XEmacs  Lucid
X-Spam-Checker-Version: SpamAssassin 2.60 (1.212-2003-09-23-exp) on 
	eponym.sweeks.com
X-Spam-Level: 
X-Spam-Status: No, hits=0.0 required=3.0 tests=AWL autolearn=no version=2.60


> > Could you explain a bit more about how this can happen?
> 
> Sure.  Consider a really simple block from MachineOutput:
...

Thanks.  Your example makes sense.  It looks like you have to repeat the
liveness computations for the new overflow blocks.   Another possible solution
to the problem is to change the CPS IL so that overflow primapps are transfers
so that the blocks are explicit at the CPS level.