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
• Specification List
• Backtracking in Specifications
• Specification Examples