Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 25 Sep 1995 11:24:20 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA054792096; Mon, 25 Sep 1995 03:41:36 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from swan.cl.cam.ac.uk by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA054762094; Mon, 25 Sep 1995 03:41:34 -0600 Received: from merganser.cl.cam.ac.uk (user rjb (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Mon, 25 Sep 1995 10:41:07 +0100 X-Mailer: exmh version 1.6.1 5/23/95 X-Uri: To: reetz Cc: info-hol@leopard.cs.byu.edu, Richard.Boulton@cl.cam.ac.uk Subject: Re: HOL90.7 does not build with SML/NJ 108 In-Reply-To: Your message of "Mon, 25 Sep 1995 09:26:08 BST." <"iraun1.ira.097:25.09.95.08.26.24"@ira.uka.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 25 Sep 1995 10:41:03 +0100 From: Richard Boulton Message-Id: <"swan.cl.cam.:157650:950925094112"@cl.cam.ac.uk> Ralf Reetz writes: > I fetched SML/NJ Version 108 basicly because it has a new garbage > collector [see FAQ of comp.lang.ml]. Unfortunately, HOL90.7 does not > build with SML/NJ 108 because of its dependency of the System module, > which has changed from 093 to 108 quite a bit. > > ... > > I would like to propose to the HOL90 programmers that there should be > only ONE module containing all SML/NJ-specific functions. I believe this has already been done and all being well HOL90.8 will work with both SML/NJ 0.93 and SML/NJ 108+ (whatever the number of the supported public release will be). In principle, this should also make HOL90.8 easy to port to Moscow ML BUT currently the latter's module system is too basic for HOL90 to work with unless all the functors were ripped out of the code. Personally, I think it is better to wait a little longer in the hope that Moscow ML's module system will become more powerful. Richard. ------------------------------------------------------------------------------ Richard J. Boulton, University of Cambridge Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, United Kingdom Telephone: +44 (0)1223 334729, Fax: +44 (0)1223 334678 E-mail: Richard.Boulton@cl.cam.ac.uk, URL: http://www.cl.cam.ac.uk/users/rjb/ ------------------------------------------------------------------------------