2018-03-14から1日間の記事一覧

健全なマクロ展開 - 構文オブジェクト (その8)

今度は syntax-case の構文オブジェクトが局所マクロの再帰定義をどう扱うかを調べます。 例にするのは、 syntax-rules に free-identifier=? の真似ごとをさせるマクロとします。 (let-syntax ((freeid=? (syntax-rules () ((_ a b) (let-syntax ((test (sy…