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

[Pascal Costanza]

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?!?

> Pascal, does that address your concern?

Apart from that, your changes look good to me.

> Does anyone else have a
> comment?  I'm minded to make that document version two of CDR 3, if I
> don't hear adverse commentary.


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