0.6.11.21:

[sbcl.git] / BUGS

diff --git a/BUGS b/BUGS
index 5e56ae9..30d25d5 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -832,18 +832,6 @@ Error in function C::GET-LAMBDA-TO-COMPILE:
   but ordinary COMPILE-FILE of a file containing (DECLAIM (SPEED 0))
   does not.
 
-88:
-  The type system doesn't understand that the intersection of the
-  types (MEMBER :FOO) and (OR KEYWORD NULL) is (MEMBER :FOO). Thus,
-  the optimizer can't make some useful valid type inferences.
-
-89:
-  The type system doesn't understand the the intersection of the types
-  KEYWORD and (OR KEYWORD NULL) is KEYWORD, perhaps because KEYWORD
-  is itself an intersection type and that causes technical problems
-  with the simplification. Thus, the optimizer can't make some useful
-  valid type inferences.
-
 90: 
   a latent cross-compilation/bootstrapping bug: The cross-compilation
   host's CL:CHAR-CODE-LIMIT is used in target code in readtable.lisp