>>289
macroexpandはよくわからんが、
そのマクロ自体がR5RS的には変じゃね？

(define-syntax my-let
(syntax-rules ()
((_ () body ...)
(begin body ...))
((_ ((var expr) binds ...) body ...)
(let1 var expr (my-let (binds ...) body ...)))))

たぶん、この辺の話題と絡んでくると思う。
http://practical-scheme.net/wiliki/wiliki.cgi?R6RS%3a%e5%a4%89%e6%9b%b4%e7%82%b9#H-t80rzg

なんか俺もあんまり理解できてないので詳しい人の見解が聞きたい。