X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcode%2Flate-type.lisp;h=abe32f2b7aae43efe9a669a9b0df18bf7b95a9fb;hb=830db48da09c88c0e91b11e2991d21b2a1af2579;hp=bf179acb886edd7a0d1a6845f19ab78c54602f1e;hpb=48713ab8344ee7e0b16a88ce562183584384ca0c;p=sbcl.git

diff --git a/src/code/late-type.lisp b/src/code/late-type.lisp
index bf179ac..abe32f2 100644
--- a/src/code/late-type.lisp
+++ b/src/code/late-type.lisp
@@ -849,7 +849,6 @@
                             (eql yx :call-other-method))
                        *empty-type*)
                       (t
-                       (aver (and (not xy) (not yx))) ; else handled above
                        nil))))))))
 
 (defun-cached (type-intersection2 :hash-function type-cache-hash
@@ -2119,7 +2118,8 @@ used for a COMPLEX component.~:@>"
                          nil))
                     (t
                      (if (<= most-negative-single-float cx most-positive-single-float)
-                         (coerce cx format)
+                         ;; FIXME: bug #389
+                         (coerce cx (or format 'single-float))
                          nil)))))
              (if (consp x) (list res) res)))))
       nil))