On Jun 20, 2009, at 8:56 AM, Ramana Kumar wrote:
The analogous behavior would be for generate-temporaries
identifiers to
be given the lexical context of where they are placed in a syntax
template (if/when they are). But because of what generate-
temporaries
identifiers are intended for, there's no reason for them to have any
lexical context; they can't refer to anything except introduced
bindings
to themselves.
Perhaps generate-temporaries should be required to produce identifiers
with an empty context then?
Required by whom? (I don't think R6RS is gonna get revised before R7RS)
Plus, the intended utility of generate-temporaries is to make
identifiers
that are inserted in binding positions in the output of a macro. They
are never inserted as free variables, and using them for implementing
bound-identifier? was stretching it a bit.
Aziz,,,
