On Mar 7, 2007, at 4:33 PM, William D Clinger wrote:

Jonathan Rees's original implementation of the "Macros
that Work" algorithm for hygienic macro expansion was
a pure interpreter [1].  His approach would have worked
fine for R5RS Scheme, but would be disallowed by the
requirements of the 5.92 draft.

Thanks for the pointer. Just to make things clear, what are the 5.92- draft requirements that disallow intermixing expansion and evaluation? Is it only the requirement to raise a syntax violation when certain errors are detected (such as an assignment to an exported variable or a reference to an unbound identifier), or is there more to it than that?

Thanks,

Aziz,,,
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to