[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0

From: Matt Kaufmann
Subject: Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0
Date: Sat, 10 Aug 2002 12:01:00 -0500 (CDT)

Thanks very much for the confirmation.  By the way, since ACL2 runs in ANSI
Lisps (at least, I think Allegro, CMUCL, and CLISP are ansi), it may be useful
as a test vehicle particularly as GCL transitions to ansi.  ACL2 has about 6.9
megabytes of sources (though a considerable amount of that is comments and
documentation) and a test suite that takes about 3 hours on a fast machine.
The current publicly available version
(http://www.cs.utexas.edu/users/moore/acl2/) runs on GCL 2.4.0 but not GCL
2.5.0 but a development copy runs on both (or I can send a patch file --
essentially the patch shown below).

Thanks --
-- Matt
   From: Gregory Wright <address@hidden>
   Cc: address@hidden, address@hidden, address@hidden
   Content-Type: text/plain
   Date: 10 Aug 2002 12:47:17 -0400

   On Sat, 2002-08-10 at 12:25, Matt Kaufmann wrote:
   > Thanks.  So, probably it's the case that as long as the LISP package 
exists, we
   > can rename COMMON-LISP without breaking GCL.  Do I have that right?  That
   > should be fine for purposes of ACL2, where we do something like this.
   > (let ((lisp-pkg (find-package "LISP")))
   >   (when lisp-pkg
   >     (rename-package "COMMON-LISP" "COMMON-LISP-renamed")
   >     (let ((old-name (package-name lisp-pkg)) ; reuse old name, nicknames
   >      (old-nicknames (package-nicknames lisp-pkg)))
   >       (rename-package "LISP"
   >                   old-name
   >                   (cons "COMMON-LISP" old-nicknames)))))
   > >> (with the goal of a clean, multi-platform build of maxima and maybe
   > >> acl2) ....

   This ought to be OK for now, but gcl developers really do need to come
   up with a decision on when and how backward compatibility will be broken
   in favor of ansi-fication. Just so everyone can know what version to use
   with the least chance of unexpected surprises.

   Best Wishes,



   Gregory Wright
   Chief Technical Officer
   PacketStorm Communications, Inc.
   20 Meridian Road
   Eatontown, New Jersey 07724

   1 732 544-2434 ext. 206
   1 732 544-2437 [fax]

reply via email to

[Prev in Thread] Current Thread [Next in Thread]