Re: macros, procedure->macro

[Neil Jerram]

>>>>> "Dirk" == Dirk Herrmann <address@hidden> writes:

    Dirk> Could you give some examples for situations where the exact timing is
    Dirk> important?

Well, I was thinking of ...

http://mail.gnu.org/pipermail/guile-devel/2002-April/005085.html
http://mail.gnu.org/pipermail/guile-devel/2002-April/005102.html

but considering that the second of these was from yourself, perhaps
I'm misunderstanding something.

I think the perhaps the point is not at what stage macro expansion
happens, but how universal it is.  In other words, is macro expansion
performed universally like reading, and so only blocked by quoting, or
is it performed like evaluation, and so blocked/delayed by any number
of special forms including lambda and if.

Has this helped to explain my point at all?

        Neil