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

[Matt Kaufmann]

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,

   Greg

   -- 

   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]
   address@hidden