SBCL

  1. Bug #1734959
  2. Comment #7

Comment 7 for bug 1734959

Revision history for this message
Christophe Rhodes (csr21-cantab) wrote :

Our representation of complex types is not (and I think has never been) able to represent

  (COMPLEX BIGNUM)

the way our TYPEP (and UPGRADED-COMPLEX-PART-TYPE) interprets complex types. NUMERIC-TYPE has a :COMPLEXP boolean, but NUMERIC-TYPE can only represent a single continuous range; so though we can represent (OR (COMPLEX <range1>) (COMPLEX <range2>)) we can't represent (COMPLEX (OR <range1> <range2>)).