X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fearly-type.lisp;h=77698ddb075ea6c77a740138d075b7c9c8480811;hb=98a76d4426660876dec6649b1e228d2e5b47f579;hp=6065f6be000699221308c0068151f6ea40f1768e;hpb=4d8378af498b544256340e09919758e1f88029ac;p=sbcl.git diff --git a/src/code/early-type.lisp b/src/code/early-type.lisp index 6065f6b..77698dd 100644 --- a/src/code/early-type.lisp +++ b/src/code/early-type.lisp @@ -260,22 +260,6 @@ (if (consp high) (1- (type-bound-number high)) high))) - #!+negative-zero-is-not-zero - (float - ;; Canonicalize a low bound of (-0.0) to 0.0, and a high - ;; bound of (+0.0) to -0.0. - (values (if (and (consp low) - (floatp (car low)) - (zerop (car low)) - (minusp (float-sign (car low)))) - (float 0.0 (car low)) - low) - (if (and (consp high) - (floatp (car high)) - (zerop (car high)) - (plusp (float-sign (car high)))) - (float -0.0 (car high)) - high))) (t ;; no canonicalization necessary (values low high)))