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

13 Dec 2006


      Pascal Costanza <pc@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