[r6rs-discuss] Interpreters need not apply?

[Abdulaziz Ghuloum]

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,,,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.r6rs.org/pipermail/r6rs-discuss/attachments/20070307/b62de990/attachment.htm