Guile source の psyntax.ss に debug-print を仕込んで追ってみたところ、Gauche の algorithm と殆ど違いが無いことがわかった。

salient

(let-syntax ((macro (syntax-rules () ((_ (a ...) ...) '(a ... ...))))) (macro (0 1) (3 4))) --> Compile error (Gauche, STklos, MIT/GNU Scheme) --> (0 1 3 4) (Guile, Scheme48)…能率あがらなーい。やる気が出ないわけではないし、方針も固まってる…