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

[Pascal Costanza]

On 13 Dec 2006, at 23:11, Christophe Rhodes wrote:

> 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.

Ah. ;)


Pascal

-- 
Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net
Vrije Universiteit Brussel, Programming Technology Lab
Pleinlaan 2, B-1050 Brussel, Belgium