(defun test-walk-form (form &optional env) (let ((count 0)) (macrolet ((p (msg) (let ((g!f (gensym (string 'f))) (g!env (gensym (string 'env)))) `(lambda (,g!f ,g!env) (declare (ignore ,g!env)) (incf count) (format t "~2,,,'0@s: ~s: ~s~%" count ,msg ,g!f) ,g!f)))) (agnostic-lizard:walk-form form env :on-every-form-pre (p "on-every-form-pre") :on-every-form (p "on-every-form") :on-special-form-pre (p "on-special-form-pre") :on-special-form (p "on-special-form") :on-function-form-pre (p "on-function-form-pre") :on-function-form (p "on-function-form") :on-macroexpanded-form (p "on-macroexpanded-form") :on-every-atom (p "on-every-atom"))))) (code-walking::test-walk-form '(+ 1 2)) ;; >> 01: "on-every-form-pre": (+ 1 2) ;; >> 02: "on-macroexpanded-form": (+ 1 2) ;; >> 03: "on-function-form-pre": (+ 1 2) ;; >> 04: "on-every-form-pre": 1 ;; >> 05: "on-macroexpanded-form": 1 ;; >> 06: "on-function-form-pre": 1 ;; >> 07: "on-every-atom": 1 ;; >> 08: "on-every-form": 1 ;; >> 09: "on-every-form-pre": 2 ;; >> 10: "on-macroexpanded-form": 2 ;; >> 11: "on-function-form-pre": 2 ;; >> 12: "on-every-atom": 2 ;; >> 13: "on-every-form": 2 ;; >> 14: "on-function-form": (+ 1 2) ;; >> 15: "on-every-form": (+ 1 2) ;; => (+ 1 2)