Derick Eddington wrote:
If your macro relies on the expand-time info about identifiers being
bound to procedures at run-time, what will the macro do when the
identifier doesn't have that info because it's not known?
Good question.
With macros like I've been throwing around lately, which want the arity
information to make precise lambda expressions, they can do a couple of
things in response to a lack of information. One is to expand to an
expression which looks for the arity information at runtime. Another is
to expand into forms infolving "(lambda args ...)" and "apply". And
finally you can also design it to throw an error.
But then again, with the macros I'm talking about, they really are
intended to be used with expressions where the arity info will be available.
Ed