Andre van Tonder <xxxxxx@now.het.brown.edu> writes:

> What I meant is that when a macro introduces an identifier, it does
> not know at what syntactic level the identifier will be used in the
> completely expanded expression.

Hmm, I thought that it's not the case, your system must be different
from what I had in mind. I understand that syntax-rules and
syntax-case need this, but I thought that a new system based on
syntax quasiquotation doesn't need this.

--
   __("<         Marcin Kowalczyk
   \__/       xxxxxx@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/