From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA06299 for caml-red; Thu, 2 Nov 2000 19:31:16 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA09167 for ; Thu, 2 Nov 2000 19:05:55 +0100 (MET) Received: from mail-blue.research.att.com (mail-blue.research.att.com [135.207.30.102]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eA2I5sr04155 for ; Thu, 2 Nov 2000 19:05:54 +0100 (MET) Received: from bigmail.research.att.com (bigmail.research.att.com [135.207.30.101]) by mail-blue.research.att.com (Postfix) with ESMTP id 600EC4CE09 for ; Thu, 2 Nov 2000 13:05:01 -0500 (EST) Received: from raptor.research.att.com.research.att.com (raptor.research.att.com [135.207.23.32]) by bigmail.research.att.com (8.8.8/8.8.8) with ESMTP id NAA27215 for ; Thu, 2 Nov 2000 13:05:00 -0500 (EST) To: caml-list@inria.fr Subject: Re: Redefinition doesn't work References: <20001031111124.A3926@blue1.berkeley.edu> From: Trevor Jim Date: 02 Nov 2000 13:05:00 -0500 In-Reply-To: Ruchira Datta's message of "Tue, 31 Oct 2000 11:11:24 -0800" Message-ID: User-Agent: Gnus/5.0806 (Gnus v5.8.6) Emacs/20.6 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: weis@pauillac.inria.fr If anyone is interested in static, incremental type inference (which allows type safe redefinitions without #use), I worked out how to do this for core ML in a paper in POPL '96. As someone noted earlier, of course this does not address the semantic issues (of changing List.map, for example). -Trevor