[r6rs-discuss] Macro Timing and the Art of the Meta-Circular Interpreter

[Ray Dillinger]

On Wed, 2009-10-28 at 15:36 +0000, David Rush wrote:

> Now it is interesting to note that hygienic macros float the syntactic
> extension functionality outside of the entire EVAL/APPLY loop and into
> a conceptually separate pass. This makes environmental manipulations
> completely impossible to the macro processor. But my question (and
> challenge) is there a semantically sound way to model macros that
> returns them to their place inside EVAL? 

I think that the fully consistent or 'semantically sound' 
way to model macros puts them fully in the domain of EVAL 
instead.

				Bear