1.0.28.51: better MAKE-ARRAY transforms

[sbcl.git] / doc / manual / debugger.texinfo

diff --git a/doc/manual/debugger.texinfo b/doc/manual/debugger.texinfo
index 9c2b385..45a4b99 100644 (file)
--- a/doc/manual/debugger.texinfo
+++ b/doc/manual/debugger.texinfo
@@ -26,7 +26,7 @@ the debugger, single-stepper and @code{trace}, and the effect of
 
 @menu
 * Debugger Banner::             
 
 @menu
 * Debugger Banner::             

-* Debugger Invokation::         
+* Debugger Invocation::         

 @end menu
 
 @node Debugger Banner
 @end menu
 
 @node Debugger Banner

@@ -63,9 +63,9 @@ by entering the corresponding number or name.
 The current frame appears right underneath the restarts, immediately
 followed by the debugger prompt.
 
 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
 @comment  node-name,  next,  previous,  up

-@subsection Debugger Invokation
+@subsection Debugger Invocation

 
 The debugger is invoked when:
 
 
 The debugger is invoked when:
 

@@ -902,13 +902,20 @@ useful for popping debug command loop levels or aborting to top level,
 as the case may be.
 @end deffn
 
 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
 
 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
 
 @node  Information Commands
 @comment  node-name,  next,  previous,  up