<meta charset="utf-8">Hi all - <div><br></div><div>continuing on the metacircular interpreter topic - I am now moving into creating a macro parser, but quickly realize the disproportionate effort required (compared to the effort so far) to come up with a macro parser for something like syntax-rules.   Specifically, it seems that matching for nested ellipses is quite hard to get right, and I have not gotten to the hygiene portion yet, which appears to mean that I need my own syntax objects that have the same symbol but are different (and yet will resolve down lexically for ids that are in the head position). </div>
<div><br></div><div>Are there anyone who can share experiences on how to go about this &quot;easily&quot;?  Thanks,</div><div>yc </div><div><br></div><br><div class="gmail_quote">On Wed, Dec 1, 2010 at 8:13 PM, YC <span dir="ltr">&lt;<a href="mailto:yinso.chen@gmail.com">yinso.chen@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><br><br><div class="gmail_quote"><div class="im">On Wed, Dec 1, 2010 at 7:39 PM, David Van Horn <span dir="ltr">&lt;<a href="mailto:dvanhorn@ccs.neu.edu" target="_blank">dvanhorn@ccs.neu.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><br></div>
You can&#39;t substitute in values for variables that are set!; you need to use the techniques in the paper Shriram suggested, but the substitution model and effects can be made to work.<br>
<br>
To get the five minute version of Felleisen &amp; Hieb, see this page:<br>
<br>
   <a href="http://redex.plt-scheme.org/why-redex.html" target="_blank">http://redex.plt-scheme.org/why-redex.html</a></blockquote><div><br></div></div><div>Yes that makes sense.  Thanks. </div><div><br></div><div>yc</div>
<div>
<br></div></div>
</blockquote></div><br><br>