Re: Question about declaration

[quiroz@cs.rochester.edu]

| I think the type specifier for the function FOO is supposed to be
| (PROCLAIM '(FUNCTION FOO (LIST) (VALUES &REST T))
| This is because the type specifier following &REST is supposed to declare
| the type of all the remaining arguments/values.  You won't find this in CLtL,
| but I have it marked in my copy as a proposed clarification in Guy Steele's
| list.

The clarification would be most valuable.  As it stands now, I read
your declaration as saying `... and the type of the &REST argument
is T', when we probably want to say `... list of T', although the
latter cannot be uttered in the type calculus of Common Lisp.

I remember there used to be a file ftpable from somewhere, which
contained authoritative errata and clarifications.  Does it still
exist?

=Cesar
--------
Cesar Augusto  Quiroz Gonzalez

Department of Computer Science     ...allegra!rochester!quiroz
University of Rochester            or
Rochester,  NY 14627               quiroz@cs.rochester.edu