Title: FreeCode Signature

since I ALWAYS 
expect postorder evaluation, why should I expect preorder macro expansion?
Not that you're in a position to change anything. :)
    
Actually, that IS what I'm doing.  By doing the transformation at read-time, I
do the transformation BEFORE any macros run.
  
Hm, wouldn't the obvious answer to this problem be to implement a layer of macro expansion between the reader and the current macro-expansion phase, that did macro-expansion for special kind of macros that worked just like normal macros, but that expanded parameters to a m
acro before expanding the macro itself? Such a layer could be very simple, separate from the infix-package and usable for many other purposes.

_But_, I'm not sure the problem even exists. What kind of macros do you envision that would like to peek inside its parameters, and would have problems with a parameter being (nfs foo bar fie) instead of (bar foo fie)? Most macros treat their arguments as opaque and just inserts them in various places inside a pre-written body of code. The best example of this is the let-macro: (let ((a (nfx foo bar fie))) (+ a 3)) expands to ((lambda (a) (+ a 3)) (nfx foo bar fie)).

/Egil


--



Konsulent, Fri Programvare / Free Software Consultant
Cell: +47 - 91 17 05 93
Phone: +47 - 21 53 69 00, Fax: +47 - 21 53 69 09
Addr: Slemdalsveien 70, PB 1 Vinderen, 0319 Oslo

 Free beer costs nothing, freedom costs a fight.
 Free beer lasts an eavening, freedom lasts a lifetime.
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Readable-discuss mailing list
Readable-discuss@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/readable-discuss

Reply via email to