<br><br><div class="gmail_quote">On Sat, Oct 25, 2008 at 5:03 AM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br><div class="Ih2E3d">
&gt; The part where I don&#39;t understand the usage of `module-&gt;namespace` to reset<br>
&gt; `current-namespace`. &nbsp;Doesn&#39;t that mean if I have symbols introduced via<br>
&gt; other means they are no longer visible?<br>
<br>
</div>Right --- but that&#39;s what `enter!&#39; is supposed to do. It supposed to<br>
&quot;enter&quot; the module body by switching the current namespace to the<br>
module&#39;s namespace.<br>
<br>
Probably you want something like `enter!&#39;, but without switching the<br>
namespace.<br>
<font color="#888888"></font></blockquote><div><br>Thanks Matthew for the explanation - this gives me ideas on how to go about handling reloading the modules ;)<br><br>Very appreciated! <br>yc<br><br><br><br></div></div>
<br>