13 Dec
2006
13 Dec
'06
4:07 p.m.
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@p-cos.net, http://p-cos.net Vrije Universiteit Brussel, Programming Technology Lab Pleinlaan 2, B-1050 Brussel, Belgium