- ;; Unless :PROPAGATE-FLOAT-TYPE is in target features, then
- ;; SB!C::BOUND-VALUE (used in the code below) is not defined, so we
- ;; just return X without trying to calculate additional constraints.
- #!-propagate-float-type (declare (ignore y greater or-equal))
- #!-propagate-float-type x
- #!+propagate-float-type
+ ;; FIXME: The comment here used to say
+ ;; Unless #!+SB-PROPAGATE-FLOAT-TYPE, then SB!C::BOUND-VALUE (used in
+ ;; the code below) is not defined, so we just return X without
+ ;; trying to calculate additional constraints.
+ ;; But as of sbcl-0.6.11.26, SB!C::BOUND-VALUE has been renamed to
+ ;; SB!INT:TYPE-BOUND-NUMBER and is always defined, so probably the
+ ;; conditionalization should go away.
+ #!-sb-propagate-float-type (declare (ignore greater or-equal))
+ (aver (eql (numeric-type-class x) 'float))
+ (aver (eql (numeric-type-class y) 'float))
+ #!-sb-propagate-float-type x
+ #!+sb-propagate-float-type