When Edebug instruments an expression that calls a Lisp macro, it needs additional information about the macro to do the job properly. This is because there is no a-priori way to tell which subexpressions of the macro call are forms to be evaluated. (Evaluation may occur explicitly in the macro body, or when the resulting expansion is evaluated, or any time later.)
Therefore, you must define an Edebug specification for each macro
that Edebug will encounter, to explain the format of calls to that
macro. To do this, add a
debug declaration to the macro
definition. Here is a simple example that shows the specification for
for example macro (see Argument Evaluation).
(defmacro for (var from init to final do &rest body) "Execute a simple \"for\" loop. For example, (for i from 1 to 10 do (print i))." (declare (debug (symbolp "from" form "to" form "do" &rest form))) ...)
The Edebug specification says which parts of a call to the macro are
forms to be evaluated. For simple macros, the specification
often looks very similar to the formal argument list of the macro
definition, but specifications are much more general than macro
arguments. See Defining Macros, for more explanation of
Take care to ensure that the specifications are known to Edebug when
you instrument code. If you are instrumenting a function from a file
eval-when-compile to require another file containing
macro definitions, you may need to explicitly load that file.
You can also define an edebug specification for a macro separately
from the macro definition with
debug declarations is preferred, and more convenient, for macro
definitions in Lisp, but
def-edebug-spec makes it possible to
define Edebug specifications for special forms implemented in C.
Specify which expressions of a call to macro macro are forms to be evaluated. specification should be the edebug specification. Neither argument is evaluated.
The macro argument can actually be any symbol, not just a macro name.
Here is a table of the possibilities for specification and how each directs processing of arguments.
If a macro has no Edebug specification, neither through a
declaration nor through a
def-edebug-spec call, the variable
edebug-eval-macro-args comes into play.