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

Reply via email to