COMPLEX on union types gets incorrectly broken up
Bug #1734959 reported by
Stas Boukarev
This bug affects 2 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Triaged
|
Medium
|
Unassigned |
Bug Description
(specifier-type '(complex bignum))
=>
#<UNION-TYPE (OR (COMPLEX (INTEGER * -46116860184273
Wouldn't match a complex when realpart and imagpart are of different sign.
Reported by Eric Marsden on sbcl-devel@
To post a comment you must log in.
(typep (complex 1 4) '(or (complex (integer 1 2)) (complex (integer 3 4))))
returns T incorrectly.