[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: typep of array

Yep, that's a problem all right.  More abstractly, what you want
is the union of all array types over various suitable finite
sets (of which there are potentially infinitely many, though any given
implementation will have only a finite number).  Unfortunately,
the notation (ARRAY INTEGER) means not a union of the arrays over{
infinitely many finite domains, but the array type over the union
of the infinitely many finite domains.