Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 20 Apr 1993 11:31:27 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA16390; Tue, 20 Apr 93 03:21:49 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA16385; Tue, 20 Apr 93 03:21:42 -0700 Received: from guillemot.cl.cam.ac.uk (user tfm (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Tue, 20 Apr 1993 11:20:54 +0100 To: jimaf@leopard.cs.uidaho.edu (Jim Alves-Foss) Cc: chou@cs.ucla.edu, info-hol@ted.cs.uidaho.edu, Tom.Melham@cl.cam.ac.uk Subject: Re: Worried about mk_tac and the philosophy of ML In-Reply-To: Your message of Mon, 19 Apr 93 14:23:38 -0700. <9304192123.AA27507@leopard.cs.uidaho.edu> Date: Tue, 20 Apr 93 11:20:41 +0100 From: Tom Melham Message-Id: <"swan.cl.cam.:001340:930420102113"@cl.cam.ac.uk> Jim Alves-Foss remarks: > Phil Windley also suggests that you don't define things immediately > but instead just assume them. Once you are sure that things are correct > you can remove the "definitions" from the assumption list. But, of course, this won't work for simulating polymorphic constants... Tom