[r6rs-discuss] macroexpand

Abdulaziz Ghuloum aghuloum at cs.indiana.edu
Thu Sep 21 19:04:28 EDT 2006


You didn't say what macroexpand does so I'll assume that you mean a 
function
that takes a datum representing a Scheme program and returns an 
equivalent
program with all syntactic forms removed (i.e. expanded).

It's true that exposing the expander (as it is) should not place 
additional
burden on the implementor (most Scheme implementations already do so).  
The
problem is that the result of the expansion is implementation dependent 
and
you cannot rely on it for writing anything useful.  Standardizing the 
output
of the macro expander is not a goal of R6RS afaik.

Aziz,,,

On Sep 21, 2006, at 2:20 PM, Dan Muresan wrote:

> Speaking of defmacro, I don't see a (macroexpand) or anything similar. 
> I
> think it would be extremely useful to have it, and it shouldn't place 
> an
> additional burden on implementations (they must contain an expander
> anyway). Did I miss it or is it not there?
>
> Dan Muresan
> http://alumnus.caltech.edu/~muresan
>
> _______________________________________________
> r6rs-discuss mailing list
> r6rs-discuss at lists.r6rs.org
> http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss




More information about the r6rs-discuss mailing list