Re: Macro uexpansion

[Mikael Djurfeldt]

Mikael Djurfeldt <address@hidden> writes:

> Macro user: No change in semantics from the one defined in the
> syntax-case system.

Sorry, I meant to say: Indentical to the semantics in a system which
doesn't do memoization---pretty natural isn't it?

> Macro writer: Even though one instance of a macro transformer is
> invoked only once for each use of the macro, different instances might
> be invoked for the same use, even if the expression containing the use
> hasn't been re-evaluated.

Reality is neater: Since a macro is unexpanded into the original macro
use expression, it won't be expanded again unless the expression
containing the use is re-evaluated.