0.9.5.72:

[sbcl.git] / BUGS

diff --git a/BUGS b/BUGS
index a9bd148..1c750b4 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -94,6 +94,9 @@ WORKAROUND:
   And as long as we're wishing, it would be awfully nice if INSPECT could
   also report on closures, telling about the values of the bound variables.
 
   And as long as we're wishing, it would be awfully nice if INSPECT could
   also report on closures, telling about the values of the bound variables.
 

+  Currently INSPECT and DESCRIBE do show the values, but showing the
+  names of the bindings would be even nicer.
+

 35:
   The compiler assumes that any time a function of declared FTYPE
   doesn't signal an error, its arguments were of the declared type.
 35:
   The compiler assumes that any time a function of declared FTYPE
   doesn't signal an error, its arguments were of the declared type.

@@ -2107,3 +2110,15 @@ WORKAROUND:
   12:19 < Xophe> it's the same problem as we had with compiler-error conditions
   12:19 < Xophe> the thing that's signalled up and down the stack is a subtype of
                   ERROR, where it probably shouldn't be
   12:19 < Xophe> it's the same problem as we had with compiler-error conditions
   12:19 < Xophe> the thing that's signalled up and down the stack is a subtype of
                   ERROR, where it probably shouldn't be

+
+388:
+  (found by Dmitry Bogomolov)
+
+    (defclass foo () ((x :type (unsigned-byte 8))))
+    (defclass bar () ((x :type symbol)))
+    (defclass baz (foo bar) ())
+
+  causes error
+
+    SB-PCL::SPECIALIZER-APPLICABLE-USING-TYPE-P cannot handle the second argument
+    (UNSIGNED-BYTE 8).