Простой пример использования степпера в SBCL

Прохождение вычислений с помощью шага LispWorks довольно интуитивно, но я не могу понять это в SBCL. Может кто-нибудь, пожалуйста, дайте мне пошаговый пример того, как использовать шагомер SBCL в REPL на некоторой простой функции? Спасибо.

Ответ 1

* (proclaim '(optimize (debug 3)))

* (defun foo (a b) (* (+ a b) b))

FOO
* (step (foo 1 2))
; Evaluating call:
;   (FOO 1 2)
; With arguments:
;   1
;   2

1] step
; Evaluating call:
;   (+ A B)
; With unknown arguments

0] step
; Evaluating call:
;   (* (+ A B) B)
; With unknown arguments

0] step
; (FOO 1 2) => 6

Команды

Stepping:
  START Selects the CONTINUE restart if one exists and starts
        single-stepping. Single stepping affects only code
        compiled with under high DEBUG optimization quality.
        See User Manual for details.
  STEP  Steps into the current form.
  NEXT  Steps over the current form.
  OUT   Stops stepping temporarily, but resumes it when the topmost
        frame that was stepped into returns.
  STOP  Stops single-stepping.

См. руководство SBCL: одиночный шаг.