I'm sorry that I'm not smart enough to glean this from the spec /
implementation and I don't currently have any place to test the
implementation on, so I must ask:

Rewrite-based identifier systems are often vulnerable to situations
where the same definition is used multiple times in the same rewriting
context.  For example, if one has a macro that gets another macro as
input (is this possible in the system?) and contains some free variable,
and you give it as input to itself, is the outer instance of the macro
able to capture the free variable of the inner instance of the macro?

I'm sorry if this question makes no sense; as I said, I was not able to
understand how exactly this proposed macro system works.

Panu

--
personal contact: xxxxxx@iki.fi, +35841 5323835, +3589 85619369
work contact: xxxxxx@ling.helsinki.fi, +35850 3678003
kotisivu (henkkoht):	http://www.iki.fi/atehwa/
homepage (technical):	http://sange.fi/~atehwa/