Comment should reads as ;; what was DEFINED in a macro *within* an EVAL is shared by all macros at this stage
(define-macro (mac arg) ;; what was DEFINED in a macro is shared by all macros at this stage ;; But it's only accessible through EVAL. (let ((r (eval `(fun ,arg)))) `(pretty-print ',r)))
P!