08/02/16 21:05:57
>>619 - >>625
早速のご返答ありがとうございます．
いま R5RS も見ながら考えさせていただいていますが，もう少し時間をいただきます．
問題の本質とは少しずれますが，私が混乱していた原因の一つに，syntax-rules の
第1引数である literals に含まれている literal-identifier についての誤解があったようです．
「literal」という名前から，字面の一致だけを見るものだと思いこんでいましたが
正しくは，R5RS や >>573 さんはじめ上の書き込みにもさんざんあるように，
literal-identifierは
>>583:
>ともに未束縛であるか
>或いは同じ束縛（例えばトップレベル変数）を持つ場合にのみマッチする
ということなんですね．思いこみで記述が頭に入っていませんでした．
なお，577:で
5s/template上のsymbol/pattern上のsymbol/
でした．