(defclass ccc () ())
(setf (find-class 'ccc1) (find-class 'ccc))
(defmethod zut ((c ccc1)) 123)
+ In sbcl-0.7.1.13, this gives an error,
+ There is no class named CCC1.
DTC's recommended workaround from the mailing list 3 Mar 2000:
(setf (pcl::find-class 'ccc1) (pcl::find-class 'ccc))
failed in FIND-IN-PHYSENV instead. Fixes in sbcl-0.7.1.3 (not
closing over unreferenced variables) made this second test case
compile without error, but the original test case still fails.
+
+ Another way to get rid of the DEFTYPE without changing the symptom
+ of the bug is
+ (defvar *ch*)
+ (defun parse-num (string ind)
+ (flet ((digs ()
+ (let ()
+ (if (and (< ind ind)
+ (sb-int:memq *ch* '(#\1)))
+ nil))))))
+ In sbcl-0.7.1.3, this fails with
+ internal error, failed AVER: "(= (LENGTH (BLOCK-SUCC CALL-BLOCK)) 1)"
+ The problem occurs while the inline expansion of MEMQ,
+ #<LAMBDA :%DEBUG-NAME "varargs entry point for SB-C::.ANONYMOUS.">
+ is being LET-converted after having its second REF deleted, leaving
+ it with only one entry in LEAF-REFS.
148:
- In sbcl-0.7.1.3 on x86, COMPILE-FILE on this file
+ In sbcl-0.7.1.3 on x86, COMPILE-FILE on the file
(in-package :cl-user)
(defvar *thing*)
(defvar *zoom*)
fails with
debugger invoked on condition of type TYPE-ERROR:
The value NIL is not of type SB-C::NODE.
- in IR1-OPTIMIZE-BLOCK.
-
+ The location of this failure has moved around as various related
+ issues were cleaned up. As of sbcl-0.7.1.9, it occurs in
+ NODE-BLOCK called by LAMBDA-COMPONENT called by IR2-CONVERT-CLOSURE.
+
+149:
+ (reported by Stig E Sandoe sbcl-devel 2002-02-02)
+ In sbcl-0.7.1.13, compiling a DEFCLASS FOO form isn't enough to make
+ the class known to the compiler for other forms compiled in the same
+ file, so bogus warnings "undefined type: FOO" are generated, e.g.
+ when compiling
+ (in-package :cl-user)
+ (defclass foo () ())
+ (defun bar (x)
+ (typep x 'foo))
DEFUNCT CATEGORIES OF BUGS
IR1-#: