Re: problems with syntax-case and with-syntax

[Mark H Weaver <mhw@netris.org>]

Mark H Weaver <mhw@netris.org> writes:

> The problem is that in Guile 2.2, whenever (define <id> ...) is found in
> the expanded code, where <id> was introduced by a macro (i.e. not passed
> as an explicit argument to the macro), Guile will rewrite the <id> into
> a new name based on the hash of the entire definition form.

I forgot to mention that only top-level definitions are munged in this
way.

Also, my parenthetical definition of what it means to be "introduced by
a macro" lacked precision.  To avoid <id> being "introduced by a macro",
it's not enough for <id> to have been passed an argument to the macro
that generated the definition.  If that were the case, you could work
around this by adding an additional layer of macros, where the upper
layer generated <id> and passed it down to the lower layer which would
generate the definition.

To avoid <id> being considered "introduced by a macro", <id> must
ultimately occur verbatim in the source code outside of any macro
template.

     Mark