X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=d9e91f41cdf3948e66ac046d5f2a034273400cf4;hb=e1ba5a0d68ff8d4c8e688cd6a951aea1d56b1b61;hp=a4cf1a8cd3e90eb4b5106a2913dd0307f227d6dd;hpb=fb91e1987cc40f3f698f2972d0de50426ec3086f;p=sbcl.git

diff --git a/BUGS b/BUGS
index a4cf1a8..d9e91f4 100644
--- a/BUGS
+++ b/BUGS
@@ -277,13 +277,6 @@ WORKAROUND:
 
 47:
   DEFCLASS bugs reported by Peter Van Eynde July 25, 2000:
-	a: (DEFCLASS FOO () (A B A)) should signal a PROGRAM-ERROR, and
-	   doesn't.
-	b: (DEFCLASS FOO () (A B A) (:DEFAULT-INITARGS X A X B)) should
-	   signal a PROGRAM-ERROR, and doesn't.
-	c: (DEFCLASS FOO07 NIL ((A :ALLOCATION :CLASS :ALLOCATION :CLASS))),
-	   and other DEFCLASS forms with duplicate specifications in their
-	   slots, should signal a PROGRAM-ERROR, and doesn't.
 	d: (DEFGENERIC IF (X)) should signal a PROGRAM-ERROR, but instead
 	   causes a COMPILER-ERROR.
 
@@ -1041,11 +1034,6 @@ WORKAROUND:
   Since this is a reasonable user error, it shouldn't be reported as 
   an SBCL bug. 
 
-171:
-  (reported by Pierre Mai while investigating bug 47):
-    (DEFCLASS FOO () ((A :SILLY T))) 
-  signals a SIMPLE-ERROR, not a PROGRAM-ERROR.
-
 172:
   sbcl's treatment of at least macro lambda lists is too permissive;
   e.g., in sbcl-0.7.3.7:
@@ -1365,6 +1353,46 @@ WORKAROUND:
 196: "confusing error message for unREAL second arg to ATAN"
   (fixed in sbcl-0.7.7.18)
 
+197: "failed AVER on compiling or evaluating function constants"
+  (reported by Antonio Martinez sbcl-devel 2002-09-12)
+    When compiling or evaluating function constants, such as in
+      (EVAL `(LAMBDA () (FUNCALL ,(LAMBDA () NIL))))
+    I get the following error message:
+         debugger invoked on condition of type SB-INT:BUG:
+             failed AVER: "(LEAF-HAS-SOURCE-NAME-P LEAF)"
+
+  Although this seems a dubious use of function constants, it would be
+  good either to make it work or to produce a useful error message.
+
+198: "conflicting THEs are not necessarily all checked"
+  (reported by APD sbcl-devel 2002-09-14)
+    (DEFUN FOO (X)
+      (LET (Y)
+        (SETF Y (THE SINGLE-FLOAT (THE INTEGER X)))
+        (LIST Y Y)))
+
+    (FOO 3) => error "3 is not of type SINGLE-FLOAT"
+    (FOO 3F0) => (3F0 3F0)
+
+  APD also reports that this code has not worked as intended in SBCL
+  since the days of sbcl-0.7.0, while CMUCL correctly detects the type
+  error ("is not of type NIL") for all inputs.
+
+199: "hairy FUNCTION types confuse the compiler"
+  (reported by APD sbcl-devel 2002-09-15)
+    (DEFUN MUR (F)
+      (EQ NIL (FUNCALL F)))
+
+    (DEFUN FOO (F X)
+      (DECLARE (TYPE (AND FUNCTION (SATISFIES MUR)) F))
+      (FUNCALL F X))
+
+  fails to compile, printing
+    failed AVER:
+      "(AND (EQ (IR2-CONTINUATION-PRIMITIVE-TYPE 2CONT) FUNCTION-PTYPE) (EQ CHECK T))"
+
+  APD further reports that this bug is not present in CMUCL.
+
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
     These labels were used for bugs related to the old IR1 interpreter.