"A valid example (which evaluates to (((foo 1) (foo 2)) ((baz 3) (baz 4)))) is given by:

  (let-syntax
      ((foo
       (syntax-rules ()
         ((foo (a b ...) ...) '(((a b) ...) ...)))))
    (foo (bar 1 2) (baz 3 4)))
"

Kawa and Chibi-Scheme both return
   (((bar 1) (bar 2)) ((baz 3) (baz 4)))
which seems to make more sense.

FWIW The first example in the Rationale also works in Kawa.
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/