<div dir="ltr"><div>Yes, the Geiser server is meta to the target namespace and evals the sent form in target namespace.</div><div><br></div><div>racket/enter.rkt does inject </div><div><br></div><div>
<div>;; Injecting racket/enter into the namespace to allow entering another module</div></div><div><div> (unless (memq '#:dont-re-require-enter flags)</div><div><span style="white-space:pre-wrap"> </span> (namespace-require 'racket/enter)))</div>
<div><br></div><div style>And I agree tooling such as Geiser, xrepl should be meta to entered namespace(s).</div>
<div><br></div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Feb 10, 2013 at 1:28 PM, Eli Barzilay <span dir="ltr"><<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">Yesterday, Ray Racine wrote:<br>
><br>
> So the goal is to have entering a module inject the proper typed or<br>
> untyped version of do-enter! by doing a namespace-require on either<br>
> "enter.rkt" or "typed-enter.rkt". To do that I need to query the<br>
> current-namespace as to whether the namespace language is racket or<br>
> typed/racket, a "namespace-language" procedure.<br>
<br>
</div>That won't be a general-enough hack: what happens with other<br>
languages? But more generally there is no way to do that that works<br>
everywhere, since some languages would want to stay very restricted<br>
and not allow any new bindings. I think that the xrepl approach for<br>
this (and likely geiser's) works well: you use `enter!' at the meta<br>
level, which means that there is no need for any injections. So it<br>
looks to me better if things stay as they are, with direct uses of<br>
`enter!' being somewhat limited as they are now, and using a proper<br>
meta tool when needed.<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:<br>
<a href="http://barzilay.org/" target="_blank">http://barzilay.org/</a> Maze is Life!<br>
</font></span></blockquote></div><br></div>