[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


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


     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.