| 2008-12-21 11:10:56 |
Nikodemus Siivola |
description |
a.
ANSI allows types `(COMPLEX ,FOO) to use very hairy values for
FOO, e.g. (COMPLEX (AND REAL (SATISFIES ODDP))). The old CMU CL
COMPLEX implementation didn't deal with this, and hasn't been
upgraded to do so. (This doesn't seem to be a high priority
conformance problem, since seems hard to construct useful code
where it matters.)
[ partially fixed by CSR in 0.8.17.17 because of a PFD ansi-tests
report that (COMPLEX RATIO) was failing; still failing on types of
the form (AND NUMBER (SATISFIES REALP) (SATISFIES ZEROP)). ]
b. (fixed in 0.8.3.43) |
ANSI allows types `(COMPLEX ,FOO) to use very hairy values for
FOO, e.g. (COMPLEX (AND REAL (SATISFIES ODDP))). The old CMU CL
COMPLEX implementation didn't deal with this, and hasn't been
upgraded to do so. (This doesn't seem to be a high priority
conformance problem, since seems hard to construct useful code
where it matters.)
[ partially fixed by CSR in 0.8.17.17 because of a PFD ansi-tests
report that (COMPLEX RATIO) was failing; still failing on types of
the form (AND NUMBER (SATISFIES REALP) (SATISFIES ZEROP)). ]
(subtypep 'complex '(and number (satisfies realp) (satisfies zerop))) => NIL, NIL
|
|
