X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=BUGS;h=1c750b416936e6f295228e5347a10e6e01e12fc9;hb=79d0a575af35d894966ea052415fb0c67dd888a6;hp=a9bd148d27c15d4759fed485b6b0981122c52d89;hpb=14d9ae2d08892daee9a94da1a050bb6f2ca57dbe;p=sbcl.git

diff --git a/BUGS b/BUGS
index a9bd148..1c750b4 100644
--- 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.
 
+  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.
@@ -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
+
+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).