[r6rs-discuss] R6 counterproposal

[R. Kent Dybvig]

> (1) Expressing defmacro alone is not enough. You have to be able to  
> express at least macroexpand as well (and this has a number of  
> consequences which require you to do even more).

Agreed, and to simulate full Common Lisp macros one would have to provide
some access to the compile-time environment.  Individual implementations
of syntax-case support these things in various ways, and perhaps r7rs will
as well, but we didn't want to bite off too much for r6rs.

> (2) You can do the converse. I have a relatively straightforward  
> implementation of hygienic macros in terms of defmacro. I hope to be  
> able to report on that soon.

Please do.

Kent