In this example it should return &quot;ARG&quot;.<div><br><div class="gmail_quote">On Fri, Sep 16, 2011 at 1:08 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu" target="_blank">matthias@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"><br>
<br>
What should (foo bar) return?<br>
<div><div></div><div><br>
<br>
On Sep 16, 2011, at 3:46 PM, Daniel MacDougall wrote:<br>
<br>
&gt; Is there any way to define a macro that expands out to a lambda, and then access the arguments passed to that lambda from outside the macro in the calling context?<br>
&gt; Here&#39;s an example of what I mean:<br>
&gt;<br>
&gt; #lang racket<br>
&gt;<br>
&gt; (define-syntax-rule (foo form ...)<br>
&gt;   ((lambda (bar) form ...) &quot;ARG&quot;))<br>
&gt;<br>
&gt; (foo &quot;Hello&quot;) ; =&gt; returns &quot;Hello&quot;<br>
&gt;<br>
&gt; (foo bar)     ; =&gt; expand: unbound identifier in module in: bar<br>
&gt;<br>
&gt;<br>
&gt; I&#39;d like access to the &quot;bar&quot; argument on the last line. Is this possible with Racket macros?<br>
&gt;<br>
&gt; Thanks,<br>
&gt; Daniel<br>
</div></div>&gt; _________________________________________________<br>
&gt;  For list-related administrative tasks:<br>
&gt;  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br>
<br>
</blockquote></div><br>
</div>