SBCL

  1. Bug #1734959
  2. Comment #5

Comment 5 for bug 1734959

Revision history for this message
Stas Boukarev (stassats) wrote :

And our upgraded-complex-part-type doesn't upgrade anything, so it can't be claimed that it has the same representation.

And
(typep (complex 1 4) '(or (complex (integer 1 2)) (complex (integer 3 4))))
doesn't actually have union part-types, yet the result is different from

(or (typep (complex 1 4)
           '(complex (integer 3 4)))
    (typep (complex 1 4)
           '(complex (integer 1 2))))