[r6rs-discuss] Problem with SYNTAX specification

[R. Kent Dybvig]

>    The value of a syntax form is a copy of <template> in which the
>    pattern variables appearing within the template are replaced
>    with the input subforms to which they are bound. Pattern data and
>    identifiers that are not pattern variables or ellipses are copied
>    directly into the output.
>
> The last line is not true of my expander, in which SYNTAX
> renames the introduced identifiers to prevent capture before
> placing them in the output.
>
> In practice this will never matter, but the difference might be
> observable in principle (depend on whether "copied directly"
> has an observable meaning).

I'm not sure if it completely solves the problem, but I've eliminated
the word "directly".

Kent