0.8.7.23:

[sbcl.git] / BUGS

diff --git a/BUGS b/BUGS
index 0b8a677..a52d83a 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1228,17 +1228,10 @@ WORKAROUND:
   returns, values returned by (EXT) must be removed from under that of
   (INT).
 
-299: (aka PFD MISC.186)
-    * (defun foo ()
-        (declare (optimize (debug 1)))
-        (multiple-value-call #'list
-          (if (eval t) (eval '(values :a :b :c)) nil) ; (*)
-          (catch 'foo (throw 'foo (values :x :y)))))
-    FOO
-    * (foo)
-    (:X :Y)
-
-  Operator THROW is represented with a call of a not returning funny
-  function %THROW, unknown values stack after the call is empty, so
-  the unknown values LVAR (*) is considered to be dead after the call
-  and, thus, before it and is popped by the stack analysis.
+300: (reported by Peter Graves) Function PEEK-CHAR checks PEEK-TYPE
+  argument type only after having read a character. This is caused
+  with EXPLICIT-CHECK attribute in DEFKNOWN. The similar problem
+  exists with =, /=, <, >, <=, >=. They were fixed, but it is probably
+  less error prone to have EXPLICIT-CHECK be a local declaration,
+  being put into the definition, instead of an attribute being kept in
+  a separate file; maybe also put it into SB-EXT?