In reponse to some messages posted here, I have written a brief
article on how to implement lexically scoped macros (R5RS
DEFINE-SYNTAX and SYNTAX-RULES).  It is available by anonymous ftp
from

    nexus.yorku.ca: /pub/scheme/new/macro-impl.ps

It will also appear in the next issue of Lisp Pointers.

The article is a practical exposition of the algorithm given in the
POPL '91 paper "Macros That Work"; it tries to convey the fact that
lexical scoping is very easy to implement.  It does not explain how to
implement the pattern language, nor is it a defense of either the
pattern language or of lexical scoping.
--
Jonathan Rees  jar@ai.mit.edu
member, Cambridge Entomological Club / member, League for Programming Freedom


