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
Received on Thu Sep 21 2006 - 19:04:28 UTC