08/02/15 14:38:29
>>577
マクロテンプレート（例えば(let ((temp test)) (if temp (result temp)))）中の（この例では現れていませんが）=>は
マクロ定義された場所で可視だった束縛を参照します。
マクロパターン（例えば(Cond (test => result))）中の=>は
マクロ使用式(Cond (#t => 'ok))中の識別子=>とのマッチングに使われます。
マクロ使用式の=>とマクロ定義の=>がともに未束縛であるか
或いは同じ束縛（例えばトップレベル変数）を持つ場合にのみマッチする訳です。