[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Problem with type declarations in PCL.
- To: jonl@lucid.COM
- Subject: Problem with type declarations in PCL.
- From: ebg%atr-hr.atr.co.jp%kddlab.uucp@uunet.UU.NET (Edward B. Gamble)
- Date: Sat, 15 Sep 1990 05:59:00 PDT
- Cc: CommonLoops.PARC@xerox.com
- In-reply-to: "Jon L White's message of Fri, 14 Sep 90 09:14:03 PDT <9009141614.AA20436@caligula>"
- Sender: useq%kddlab.uucp@uunet.UU.NET
All the following is based on Sun Common Lisp 3.0 for the Sun-4 with patches
loaded -> 3.0.1. The production compiler is loaded either on top of
lisp-3-0-base or from lisp-3-0-full.
1) CLX compiles (and runs my limited examples) if it is compiled before
PCL is loaded. (CLX use defstruct in that case; not defclass)
2) I have not tried compiling CLX on top of Sun's PCL "8/24/88 (beta)
AAAI PCL" Actually, I don't remember if I've tried...
3) For May Day PCL (Rev 2) 5/1/90 :
It seems that at compile time PCL classes do not have a known type. CLX
uses lots of forms like this:
(defclass foo () ())
(defun bar (a-foo)
(declare (type foo a-foo))
(defun baz (a-foo)
(identity (the foo a-foo)))
Compilation of the above forms produces:
> (compile-file "test.lisp")
;;; Reading source file "test.lisp"
;;; While compiling BAR
;;; Warning: Illegal type specifier in (TYPE FOO A-FOO)
>>Error: FOO is an unknown type.
:A 0: Abort to Lisp Top Level
;;; Backtrace shows that compiler is processing 'BAZ when the error occurs.
Whose error is this: PCL's, CLX's, or mine?