Issue: THE-AMBIGUITY

[Eric Benson <eb@lucid.com>]

   Date: Fri, 21 Oct 88 16:05:49 EDT
   From: jar@void.ai.mit.edu (Jonathan Rees)
   Reply-To: jar@zurich.ai.mit.edu

   Proposal (THE-AMBIGUITY:FOR-DISCRIMINATION):

     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.