13 Dec
2006
13 Dec
'06
10:15 p.m.
On 13 Dec 2006, at 23:11, Christophe Rhodes wrote:
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.
Ah. ;) Pascal -- Pascal Costanza, mailto:pc@p-cos.net, http://p-cos.net Vrije Universiteit Brussel, Programming Technology Lab Pleinlaan 2, B-1050 Brussel, Belgium