zl:1 - FTP

lambda-macro 284
I
&whole
This is for macros defined by defmacro or macrolet only. &whole
is followed by variable, which is bound to the entire macro-call form
or subform. variable is the value that the macro-expander function
receives as its first argument. &whole is allowed only in the toplevel
pattern, not in inside patterns.
See the section "&-Keywords Accepted By defmacro" in Symbolics
Common Lisp: Language Concepts.
&environment
This is for macros defined by defmacro or macrolet
only.&environment is followed by variable, which is bound to an object
representing the lexical environment where the macro call is to
be interpreted. This environment might not be the complete lexical
environment. It should be used only with the macroexpand function
for any local macro definitions that the macrolet construct might
have established within that lexical environment. &environment is
allowed only in the top-level pattern, not in inside patterns. See the
section "Lexical Environment Objects and Arguments" in Symbolics
Common Lisp: Language Concepts.
See the section "&-Keywords Accepted By defmacro" in Symbolics
Common Lisp: Language Concepts.
lambda-macro name lambda-list body... Special Form
Like macro, defines a lambda macro to be called name. lambda-list should
be a list of one variable, which is bound to the function being expanded.
The lambda macro must return a function. Example:
(lambda-macro ilisp (x)
'(lambda (&optional ,@(second x) &rest ignore) . , (cddr x»)
This defines a lambda macro called ilisp. After it has been defined, the
following list is a valid Lisp function:
(ilisp (x y z) (list x y z»
The above function takes three arguments and returns a list of them, but
all of the arguments are optional and any extra arguments are ignored.
(This shows how to make functions that imitate Interlisp functions, in
which all arguments are always optional and extra arguments are always
ignored.) So, for example:
(funcall #'(ilisp (x y z) (list x y z» 1 2) => (1 2 nil)