@menu
* Debugger Banner::
-* Debugger Invokation::
+* Debugger Invocation::
@end menu
@node Debugger Banner
The current frame appears right underneath the restarts, immediately
followed by the debugger prompt.
-@node Debugger Invokation
+@node Debugger Invocation
@comment node-name, next, previous, up
-@subsection Debugger Invokation
+@subsection Debugger Invocation
The debugger is invoked when:
as the case may be.
@end deffn
-@deffn {Debugger Command} return @var{value}
+@deffn {Debugger Command} return @var{value}
Returns @var{value} from the current stack frame. This command is
available when the @code{debug} optimization quality is greater than
both @code{speed} and @code{space}. Care must be taken that the value
is of the same type as SBCL expects the stack frame to return.
@end deffn
+@deffn {Debugger Command} restart-frame
+Restarts execution of the current stack frame. This command is
+available when the @code{debug} optimization quality is greater than
+both @code{speed} and @code{space} and when the frame is for is a global
+function. If the function is redefined in the debugger before the frame
+is restarted, the new function will be used.
+@end deffn
@node Information Commands
@comment node-name, next, previous, up