X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=e2f775e991fcca029ad65461dc093bc37ee60478;hb=64a50ee0d70f2e87f3d284d1c7a48a2e0762ea90;hp=a498227c2ec14349682856dd773f9d95f451bdd9;hpb=f4a7d6c4a2a4f846ad353dddb922dd8967f998e5;p=sbcl.git

diff --git a/BUGS b/BUGS
index a498227..e2f775e 100644
--- a/BUGS
+++ b/BUGS
@@ -972,18 +972,6 @@ WORKAROUND:
       (let ((x (1+ x)))
         (call-next-method)))
   Now (FOO 3) should return 3, but instead it returns 4.
-    
-137:
-  (SB-DEBUG:BACKTRACE) output should start with something
-  including the name BACKTRACE, not (as in 0.pre7.88)
-  just "0: (\"hairy arg processor\" ...)". Until about
-  sbcl-0.pre7.109, the names in BACKTRACE were all screwed
-  up compared to the nice useful names in sbcl-0.6.13.
-  Around sbcl-0.pre7.109, they were mostly fixed by using
-  NAMED-LAMBDA to implement DEFUN. However, there are still
-  some screwups left, e.g. as of sbcl-0.pre7.109, there are
-  still some functions named "hairy arg processor" and
-  "SB-INT:&MORE processor".
 
 141: 
   Pretty-printing nested backquotes doesn't work right, as 
@@ -1257,19 +1245,50 @@ WORKAROUND:
   on various operating systems. (reported by Harald Hanche-Olsen on
   cmucl-help 2002-05-31)
 
-175:
-  sbcl's CHANGE-CLASS does not accept and use initargs, so that e.g.:
-    (defclass foo () ((a :accessor a :initarg :a)))
-    (defclass bar () ((a :accessor a :initarg :a)
-                      (b :accessor b :initarg :b)))
-    (change-class (make-instance 'foo :a 1) 'bar :b 2)
-  should return an instance of class BAR with its A slot-value being 1
-  and its B slot-value being 2; at present (sbcl-0.7.4.8), it signals
-  an error. There's some code by Espen S. Johnsen at 
-  <http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/clg/clg/glib/pcl.lisp>
-  to patch around this (and some related things? not sure -- WHN) which 
-  might be usable to fix it in the main SBCL CVS.
+176:
+  reported by Alexey Dejneka 08 Jun 2002 in sbcl-devel:
+    Playing with McCLIM, I've received an error "Unbound variable WRAPPER
+    in SB-PCL::CHECK-WRAPPER-VALIDITY".
+      (defun check-wrapper-validity (instance)
+        (let* ((owrapper (wrapper-of instance)))
+          (if (not (invalid-wrapper-p owrapper))
+              owrapper
+              (let* ((state (wrapper-state wrapper)) ; !!!
+        ...
+    I've tried to replace it with OWRAPPER, but now OBSOLETE-INSTANCE-TRAP
+    breaks with "NIL is not of type SB-KERNEL:LAYOUT".
+    SBCL 0.7.4.13.
+  partial fix: The undefined variable WRAPPER resulted from an error
+  in recent refactoring, as can be seen by comparing to the code in e.g. 
+  sbcl-0.7.2. Replacing WRAPPER with OWRAPPER (done by WHN in sbcl-0.7.4.22)
+  should bring the code back to its behavior as of sbcl-0.7.2, but
+  that still leaves the OBSOLETE-INSTANCE-TRAP bug. An example of 
+  input which triggers that bug is
+    (dotimes (i 20)
+      (let ((lastname (intern (format nil "C~D" (1- i))))
+            (name (intern (format nil "C~D" i))))
+      (eval `(defclass ,name
+                 (,@(if (= i 0) nil (list lastname)))
+               ()))
+      (eval `(defmethod initialize-instance :after ((x ,name) &rest any)
+               (declare (ignore any))))))
+    (defclass b () ())
+    (defclass c0 (b) ())
+    (make-instance 'c19)
+
+178: "AVER failure compiling confused THEs in FUNCALL"
+  In sbcl-0.7.4.24, compiling
+    (defun bug178 (x)
+      (funcall (the function (the standard-object x))))
+  gives 
+    failed AVER:
+      "(AND (EQ (IR2-CONTINUATION-PRIMITIVE-TYPE 2CONT) FUNCTION-PTYPE) (EQ CHECK T))"
+  This variant compiles OK, though:
+    (defun bug178alternative (x)
+      (funcall (the nil x)))
 
+179:
+  (fixed in sbcl-0.7.4.28)
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#: