INNER-COERCE-REAL-BOUND needs to coerce to DOUBLE-DOUBLE-FLOAT, when
available. Without this, we get things like (c::specifier-type '(real 1d0 100/9)) -> #<UNION-TYPE (OR (SINGLE-FLOAT 1.0 11.111111) (DOUBLE-FLOAT 1.0d0 11.11111111111111d0) (DOUBLE-DOUBLE-FLOAT 1.0w0 11.1111111111111107163651467999443w0) (RATIONAL 1 100/9))> instead of #<UNION-TYPE (OR (SINGLE-FLOAT 1.0 11.111111) (DOUBLE-FLOAT 1.0d0 11.11111111111111d0) (DOUBLE-DOUBLE-FLOAT 1.0w0 11.1111111111111111111111111111111w0) (RATIONAL 1 100/9))> The bound for double-double-float is not quite correct in the former result, and is correct in the latter.
Loading
Please register or sign in to comment