[r6rs-discuss] macroexpand

[AndrevanTonder]

On Fri, 22 Sep 2006, Dan Muresan wrote:

> If the above is correct, this is another instance where Scheme loses the
> power of Scheme macros. Without macroexpand, how can I define a macro that
> expands its arguments before processing them? Again, there are strong
> reasons why such macros are useful.

I agree that they are useful.  For example, without something like macroexpand, 
it is impossible to express LAMBDA (with internal definitions) as a macro in 
terms of LETREC*.  I think EXPAND can be provided as a compatible extension (at 
least I know how to do it in my expander), but it is probably too much to ask 
of r6rs.

Regards
Andre