From: Micheal S. Hewett
Subject: FUNCALL, APPLY implementation question
Date: 
Message-ID: <5e5cne$r3o$1@arachne.cs.utexas.edu>
What are the conventions for checking argument lists in
applications of FUNCALL?  Since the actual function may
not be known until runtime, should the argument list be
checked at runtime?

>(setq X 'CONS)

>(funcall X 'a 'b)
(A . B)

>(funcall X 'a 'b 'c)
?? What should happen here?

Allegro CL 4.3 gets some sort of internal error on the second
example above and barfs.  CLTL2 doesn't say whether the 
implementation is responsible for checking arguments.

Whatever the convention is, is the same convention used for APPLY?

Thanks,
Mike Hewett
(······@cs.utexas.edu)