1.0.15.36: fix bug 423

[sbcl.git] / BUGS

diff --git a/BUGS b/BUGS
index 0c152ac..0ec868e 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1889,26 +1889,6 @@ behaves ...erratically. Reported by Kevin Reid on sbcl-devel
 2007-07-06. (We don't _have_ to check things like this, but we
 generally try to check returns in safe code, so we should here too.)
 
-423: TRULY-THE and *CHECK-CONSISTENCY*
-
- The following signals errors due to TRULY-THEs in dead code:
-
- (let ((sb-c::*check-consistency* t))
-  (handler-bind ((warning #'error))
-    (flet ((make-lambda (type)
-             `(lambda (x)
-                ((lambda (z)
-                   (if (listp z)
-                       (let ((q (truly-the list z)))
-                         (length q))
-                       (if (arrayp z)
-                           (let ((q (truly-the vector z)))
-                             (length q))
-                           (error "oops"))))
-                 (the ,type x)))))
-      (compile nil (make-lambda 'list))
-      (compile nil (make-lambda 'vector)))))
-
 424: toplevel closures and *CHECK-CONSISTENCY*
 
  The following breaks under COMPILE-FILE if *CHECK-CONSISTENCY* is true.