COMPLEX on union types gets incorrectly broken up

Bug #1734959 reported by Stas Boukarev on 2017-11-28
14
This bug affects 2 people
Affects Status Importance Assigned to Milestone
SBCL
Medium
Unassigned

Bug Description

(specifier-type '(complex bignum))
=>
#<UNION-TYPE (OR (COMPLEX (INTEGER * -4611686018427387905)) (COMPLEX (INTEGER 4611686018427387904)))>
Wouldn't match a complex when realpart and imagpart are of different sign.

Reported by Eric Marsden on sbcl-devel@

Stas Boukarev (stassats) wrote :

(typep (complex 1 4) '(or (complex (integer 1 2)) (complex (integer 3 4))))
returns T incorrectly.

tags: added: types
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Duplicates of this bug

Other bug subscribers