| Date: Wed, 28 Oct 2009 15:36:38 +0000 | From: David Rush <[email protected]> | | ... 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?
The SCM implementation expands macros in the evaluator; so it is possible. The C level support for hygienic and referentially transparent macros is in http://cvs.savannah.gnu.org/viewvc/scm/scm/eval.c?view=markup conditioned on #ifdef MACRO _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
