o INTERVAL-RANGE-INFO was not returning the correct result for -0.0.
This shows up in deriving the type of (abs (the (double-float 0d0))), which was (double-float 0d0), but should have been (or (member 0d0) (double-float (0d0)). o In TWO-ARG-DERIVE-TYPE, use our own same-leaf-ref-p in place of the real same-leaf-ref-p. We don't care if the leaf is not constant, only that they are the same leaf. This shows up in Eric Marsden's cl-bench where CMUCL was not able to deduce that z^2 is positive in mandelbrot/dfloat.
Loading
Please register or sign in to comment