竹内郁雄先生の初めての人のためにLISPを読んで勉強中なんですが
マクロの所でどうしてもわからないところがあります。
162pでcondを

(defmacro mycond (&rest clauses)
(expand-cond clauses))

(defun expand-cond (clauses)
(mycond ((null clauses) nil)
((eq (caar clauses) 't)
(cons 'progn (cdar clauses)) )
(t (list 'if
(caar clauses)
(cons 'progn (cdar clauses))
(expand-cond (cdr clauses )) ))))

と定義しているのですが、マクロcondのなかでexpand-condを評価し、
そのexpand-condのなかでまたマクロcondを評価してまたそのなかでexpand-condを・・・
という風に評価のループ状態になってしまうのではないでしょうか？
（実際xyzzyで試してみたらスタックフローオーバーになりました