Edebug and Macros

To make Edebug properly instrument expressions that call macros, some extra care is needed. This subsection explains the details.

• Instrumenting Macro Calls		The basic problem.
• Specification List		How to specify complex patterns of evaluation.
• Backtracking		What Edebug does when matching fails.
• Specification Examples		To help understand specifications.