A.6 Debugger Commands

debug reduce {in module :} term .

Works just like the reduce command above, except that it drops into the debugger before executing the first rewrite.

debug rewrite {[ number ]} {in module :} term .

Works just like the rewrite command above, except that it drops into the debugger before executing the first rewrite.

resume .

Only usable from the debugger. Exits the debugger and resumes the current rewriting activity.

abort .

Only usable from the debugger. Exits the debugger and abandons the current rewriting activity.

step .

Only usable from the debugger. Performs a single step of the current rewriting activity with tracing switched on.

where .

Only usable from the debugger. Prints the stack of pending rewrite tasks together with explanations of how they arose.