[Top][All Lists]

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

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

From: Camm Maguire
Subject: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0
Date: 10 Aug 2002 10:28:14 -0400


Matt Kaufmann <address@hidden> writes:

> Hi --
> The COMMON-LISP package exists in GCL 2.5.0 but is only populated by LISP::T
> and LISP::NIL.  I'm surprised that although the COMMON-LISP package exists, it
> refers to a package different from the LISP package.

Yes, we are working toward an ansi compliant compier, but this will
take some time!  I should refrain from inserting the common-lisp
package in the default configuration, which you are apparently using,
to avoid confusion.  But if you want to see the state so far, you can
./configure --enable-ansi, and you will get an image with clcs and pcl
compiled in.  Still needs considerable work.  And yes, this will be
changing as gcl develops.

Take care,

>   GCL (GNU Common Lisp)  Version(2.5.0) Fri Aug  9 15:33:00 CDT 2002
>   Licensed under GNU Library General Public License
>   Contains Enhancements by W. Schelter
>   >(do-symbols
>     (sym "COMMON-LISP")
>     (format t "~s~%" (list sym (eq sym (intern (symbol-name sym) "LISP")))))
>   (T T)
>   (NIL T)
>   NIL
>   >
> Will this change in future GCL releases?  I've got a workaround for my
> purposes; I include it below in case you're interested or have comments.  By
> the way, I really appreciate the availability of GCL and have successfully run
> the ACL2 regression suite (which takes about 3 hours on a fast machine) using
> GCL 2.5.0 built on Debian 3.0.
> (let ((lisp-pkg (find-package "LISP")))
>   (if lisp-pkg
>       (let ((cl-pkg (find-package "COMMON-LISP")))
>         (cond
>          ((and cl-pkg (eq cl-pkg lisp-pkg)))
>          (t
>           (when cl-pkg ; but by the test above, cl-pkg is not lisp-pkg
>             #-gcl
>             (error "This Lisp is unsuitable for ACL2, because the ~
>                     COMMON-LISP~% package is defined but is not the LISP ~
>                     package.")
>             #+gcl
> ; GCL 2.5.0 has a "COMMON-LISP" package that is initially populated only with
> ; LISP::T and LISP::NIL.  It seems safe to move any GCL COMMON-LISP package 
> out
> ; of the way before we make "COMMON-LISP" a nickname for "LISP".
>             (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))))))))
> Thanks --
> -- Matt Kaufmann

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

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