X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=0ee92e1a560fd4fb2f0e8006a3b70a2656c52296;hb=83b88ebcc07cda4daec275fa851664495a840445;hp=8d402dc883fc647bb3c4969d7ad1966bd7e7c132;hpb=0aafa73007d42f2bc8e626f98a243019b7e63284;p=sbcl.git

diff --git a/BUGS b/BUGS
index 8d402dc..0ee92e1 100644
--- a/BUGS
+++ b/BUGS
@@ -832,6 +832,21 @@ 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
+  and possibly elsewhere. Instead, we should use the target system's
+  CHAR-CODE-LIMIT. This will probably cause problems if we try to 
+  bootstrap on a system which uses a different value of CHAR-CODE-LIMIT
+  than SBCL does.
+
 
 KNOWN BUGS RELATED TO THE IR1 INTERPRETER