0.7.1.19:

[sbcl.git] / BUGS

diff --git a/BUGS b/BUGS
index 37156e8..0f4e0ce 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -137,6 +137,8 @@ WORKAROUND:
        (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))
 
@@ -1059,20 +1061,6 @@ WORKAROUND:
   arguments in FLET/LABELS: it might be an old Python bug which is 
   only exercised by the new arrangement of the SBCL compiler.)
 
-132:
-  Trying to compile 
-    (DEFUN FOO () (CATCH 0 (PRINT 1331)))
-  gives an error
-    #<SB-C:TN '0!1> is not valid as the second argument to VOP:
-      SB-C:MAKE-CATCH-BLOCK,
-    since the TN's primitive type SB-VM::POSITIVE-FIXNUM doesn't allow
-    any of the SCs allowed by the operand restriction:
-     (SB-VM::DESCRIPTOR-REG)
-  The (CATCH 0 ...) construct is bad style (because of unportability
-  of EQ testing of numbers) but it is legal, and shouldn't cause an
-  internal compiler error. (This error occurs in sbcl-0.6.13 and in
-  0.pre7.86.flaky7.14.)
-
 135:
   Ideally, uninterning a symbol would allow it, and its associated
   FDEFINITION and PROCLAIM data, to be reclaimed by the GC. However, 
@@ -1248,7 +1236,7 @@ WORKAROUND:
   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*)
@@ -1269,11 +1257,50 @@ WORKAROUND:
   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.
+
+150:
+  In sbcl-0.7.1.15, compiling this code 
+    (let* ()
+      (flet ((wufn () (glorp table1 4.9)))
+        (gleep *uustk* #'wufn "#1" (list)))
+      (if (eql (lo foomax 3.2))
+          (values)
+          (error "not ~S" '(eql (lo foomax 3.2))))
+      (values))
+  causes a failure in SB-C::ADD-TEST-CONSTRAINTS:
+    The value NIL is not of type SB-C::CONTINUATION.
+  other notes:
+    * The problem appears to be tied to the way that EQL is given only
+      one argument, and goes away when we give EQL a second argument.
+    * CMU CL 18c has this problem too, exercised by 
+       (compile nil
+                '(lambda ()
+                    (let* ()
+                     (flet ((wufn () (glorp table1 4.9)))
+                       (gleep *uustk* #'wufn "#1" (list)))
+                     (if (eql (lo foomax 3.2))
+                         (values)
+                         (error "not ~S" '(eql (lo foomax 3.2))))
+                     (values))))
+
+151:
+  From the ANSI description of GET-DISPATCH-MACRO-CHARACTER, it
+  should return NIL when there is no definition, e.g.
+    (GET-DISPATCH-MACRO-CHARACTER #\# #\{) => NIL
+  Instead, in sbcl-0.7.1.17 it returns
+    #<FUNCTION "top level local call SB!IMPL::DISPATCH-CHAR-ERROR">
+
+152:
+  Undefined functions are supposed to be reported as UNDEFINED-FUNCTION
+  conditions, inheriting from CELL-ERROR. Instead sbcl-0.7.1.19 reports
+  them as TYPE-ERRORs (reporting the problem as something not being
+  coerceable to a function).
 
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
-    These numbers were used for bugs related to the old IR1
-    interpreter. The # values reached 6 before the category
-    was closed down.
\ No newline at end of file
+    These labels were used for bugs related to the old IR1 interpreter.
+    The # values reached 6 before the category was closed down.
\ No newline at end of file