[cdr-discuss] What about CDR 3, then?

[Christophe Rhodes]

Pascal Costanza <pc at p-cos.net> writes:

> On 13 Dec 2006, at 20:35, Christophe Rhodes wrote:
>
>> \item Specify that if a type specifier is not a \recsub{} of
>>   \cl{sequence}, or is a \recsub{} of \texttt{(or list vector)} but
>>   not of either \cl{list} or \cl{vector}, then an error [of type
>>   \cl{type-error}] must be signaled.
>
> How can something be a recognized subtype of (or list vector) but not
> of either list or vector?!?

For example, (or list string) is a subtype of (or list vector) but not
of either list or vector.

Cheers,

Christophe