X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=68579128f3b1ca57444d7eb45657e9ed214dc7a9;hb=c8af15e61b030c8d4b0e950bc9b7618530044618;hp=5e56ae9d37f2948db01a568ccc39e16e723f13cb;hpb=143edab8d233c784cde14bce6c5165219ea84bf4;p=sbcl.git

diff --git a/BUGS b/BUGS
index 5e56ae9..6857912 100644
--- a/BUGS
+++ b/BUGS
@@ -118,15 +118,6 @@ WORKAROUND:
 	  (during macroexpansion of IN-PACKAGE,
 	  during macroexpansion of DEFFOO)
 
-13:
-  Floating point infinities are screwed up. [When I was converting CMU CL
-  to SBCL, I was looking for complexity to delete, and I thought it was safe
-  to just delete support for floating point infinities. It wasn't: they're
-  generated by the floating point hardware even when we remove support
-  for them in software. Also we claim the :IEEE-FLOATING-POINT feature,
-  and I think that means we should support infinities.-- WHN] Support
-  for them should be restored.
-
 14:
   The ANSI syntax for non-STANDARD method combination types in CLOS is
 	(DEFGENERIC FOO (X) (:METHOD-COMBINATION PROGN))
@@ -832,18 +823,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