[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,
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
- [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Camm Maguire, 2002/08/10
- [Gcl-devel] Error in 'make clean' in binutils/bfd directory, Paul F. Dietz, 2002/08/10
- [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Matt Kaufmann, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Gregory Wright, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Matt Kaufmann, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Gregory Wright, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0,
Matt Kaufmann <=
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Camm Maguire, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Matt Kaufmann, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Matt Kaufmann, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Camm Maguire, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Matt Kaufmann, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Camm Maguire, 2002/08/14
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Camm Maguire, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Gregory Wright, 2002/08/10
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Camm Maguire, 2002/08/14
- Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0, Gregory Wright, 2002/08/15