<div dir="ltr"><span style="font-family:arial,sans-serif;font-size:13px">Probably more products should have an FHQ (Frequently Hopeless Questions) in addition to an FAQ.</span><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">I&#39;m making a web-page generator that uses include-template from web-server/templates. I need to set the template inputs &amp; the template itself at runtime, and collect the output.</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">I tried doing it with module and module* but I didn&#39;t see how to make the data go round-trip. A submodule with include-template could require the needed data from the enclosing module, but then the enclosing module can&#39;t require the submodule to get the result, so ... ? I could well be overlooking an obvious technique.</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">My original solution was to write a new file and send it through the Racket executable as a system command. (This worked, slowly.) </div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">So that&#39;s how I ended up using eval. Which does work, now that I&#39;ve retooled how I set up the namespace.</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, May 14, 2013 at 5:13 PM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.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 dir="ltr">The short answer is that the top-level is hopeless, as Matthew has discussed at some length here and elsewhere. <div>
<br></div><div>If you really need to eval code, can you first put it into a module?</div>
<div><br>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div class="h5">On Tue, May 14, 2013 at 11:09 AM, Matthew Butterick <span dir="ltr">&lt;<a href="mailto:mb.list.acct@gmail.com" target="_blank">mb.list.acct@gmail.com</a>&gt;</span> wrote:<br>

</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr"><div>Suppose x-is-foo.rkt is this:</div><div><br></div><div><div>(module x-is-foo racket</div>
<div>  (define x &#39;foo)</div>
<div>  (provide x))</div><div><br></div><div>If you open another file and try this:</div>
<div><div><br></div><div>(require &quot;x-is-foo.rkt&quot;)</div><div>(define x &#39;bar)</div><div><br></div><div>You&#39;lll get a &quot;identifier already imported&quot; error. OK, that much I understand.</div>
<div><br></div><div>Here&#39;s the question. When you do this:</div><div><br></div><div><div>(parameterize ([current-namespace (make-base-empty-namespace)])</div><div>  (namespace-require &#39;racket)</div>
<div>  (namespace-require &quot;x-is-foo.rkt&quot;)</div><div>  (namespace-set-variable-value! &#39;x &#39;bar)         </div><div>  (eval &#39;(print x) (current-namespace)))</div><div><br></div><div>This time, you get &#39;foo. Why &#39;foo? Why not another &quot;identifier already imported&quot; error?</div>


<div><br></div><div>I assume I&#39;m missing a subtlety of how the namespace environment is different. But according to the docs, both namespace-require and namespace-set-variable-value! affect the top-level environment of the namespace. So I don&#39;t see why the require is silently overriding the set-variable-value, rather than causing a conflict.</div>


<div><br></div><div>It&#39;s not a sequencing issue, because if you swap the two lines:</div><div><br></div><div><div>(parameterize ([current-namespace (make-base-empty-namespace)])</div><div>  (namespace-require &#39;racket)</div>


<div>  (namespace-set-variable-value! &#39;x &#39;bar)         </div><div>  (namespace-require &quot;x-is-foo.rkt&quot;)</div><div>  (eval &#39;(print x) (current-namespace)))</div><div><br></div><div>You still get &#39;foo.</div>


</div><div><br></div><div>Only if you remove the require line:</div><div><br></div><div><div>(parameterize ([current-namespace (make-base-empty-namespace)])</div><div>  (namespace-require &#39;racket)</div>
<div>  (namespace-set-variable-value! &#39;x &#39;bar)         <br></div><div>  (eval &#39;(print x) (current-namespace)))</div><div><br></div><div>Do you get &#39;bar.</div><div><br></div><div><br></div>
</div></div></div></div></div>
<br></div></div>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>