[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: email@example.com
- Subject: Issue: THE-AMBIGUITY
- From: Eric Benson <firstname.lastname@example.org>
- Date: Fri, 21 Oct 88 13:56:14 pdt
- Cc: email@example.com
- In-reply-to: Jonathan Rees's message of Fri, 21 Oct 88 16:05:49 EDT <8810212005.AA02556@void.ai.mit.edu>
Date: Fri, 21 Oct 88 16:05:49 EDT
From: firstname.lastname@example.org (Jonathan Rees)
Clarify that the type specifier in
(THE type exp)
must be a valid type for discrimination, as for TYPEP, or it must
be of the form (VALUES type*) where type* are all valid for declaration.
You mean "discrimination", right?
By the way, I support FOR-DECLARATION. Lucid CL has the same bug in
the interpreter as the others (a "bug" assuming FOR-DECLARATION).
TYPEP is used to check the legality of the type specifier in THE.