If no such options have been supplied in the corresponding restart-bind or restart-case, then the consequences are undefined if the restart takes required arguments. If the arguments are optional, an argument list of nil is used.
Once the arguments have been determined, invoke-restart-interactively executes the following:
Error: The value SEVEN was not of type NUMBER. To continue, type :CONTINUE followed by an option number: 1: Specify a different value to use. 2: Return to Lisp Toplevel. Debug> (invoke-restart-interactively 'store-value) Type a form to evaluate and use: 7
If prompting for arguments is necesary, some typeout may occur (on query I/O).
A non-local transfer of control might be done by the restart.
If restart is not valid, an error of type control-error is signaled.
invoke-restart-interactively is used internally by the debugger and may also be useful in implementing other portable, interactive debugging tools.