X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=30d25d5e8bfe7baf3cbef1865f3fc669448c8fd2;hb=22217256264c3a7af7dc03b9ffb1dd72a0c25368;hp=0ee92e1a560fd4fb2f0e8006a3b70a2656c52296;hpb=95816dfe1bac897f06fcd8c7b2a4579d76f841d0;p=sbcl.git

diff --git a/BUGS b/BUGS
index 0ee92e1..30d25d5 100644
--- a/BUGS
+++ b/BUGS
@@ -832,13 +832,6 @@ Error in function C::GET-LAMBDA-TO-COMPILE:
   but ordinary COMPILE-FILE of a file containing (DECLAIM (SPEED 0))
   does not.
 
-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