<p><br>
On Aug 1, 2011 6:15 AM, &quot;Matthew Flatt&quot; &lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt; wrote:<br>
&gt;<br>
&gt; Thanks for the report! I&#39;ve pushed a repair to the Racket git repo.</p>
<p>Thanks for the repair!<br>
&gt;<br>
&gt; The problem was a mismatch between `make-base-eval&#39; and<br>
&gt; `make-base-eval-factory&#39;. If you use `make-base-eval-factory&#39; within<br>
&gt; DrRacket (or some other context where `racket/gui/base&#39; is loaded),<br>
&gt; then the factory couldn&#39;t attach modules from an internal namespace to<br>
&gt; the new evaluators that it creates.<br>
&gt;<br>
&gt; At Sun, 31 Jul 2011 18:36:49 -0500, Patrick King wrote:<br>
&gt; &gt; While trying to scribble some documentation, I came across what seems to be<br>
&gt; &gt; a bug involving contracts and scribble&#39;s interaction form.<br>
&gt; &gt;<br>
&gt; &gt; my-module.scrbl:<br>
&gt; &gt;<br>
&gt; &gt; #lang scribble/manual<br>
&gt; &gt; @(require scribble/eval)<br>
&gt; &gt;<br>
&gt; &gt; When I introduce contracts into &quot;my-module.rkt&quot;, the following lines...<br>
&gt; &gt;<br>
&gt; &gt; @(define my-eval (make-eval-factory (list &quot;my-module.rkt&quot;)))<br>
&gt; &gt;<br>
&gt; &gt; @(interaction #:eval (my-eval)<br>
&gt; &gt;               (my-thunk))<br>
&gt; &gt;<br>
&gt; &gt; ... produces the error message:<br>
&gt; &gt;<br>
&gt; &gt; namespace-attach-module: a different module with the same name is already in<br>
&gt; &gt; the destination namespace, for name: &quot;C:\Program<br>
&gt; &gt; Files\Racket\collects\racket\contract.rkt&quot;<br>
&gt; &gt;<br>
&gt; &gt; my-module.rkt:<br>
&gt; &gt;<br>
&gt; &gt; #lang racket/base<br>
&gt; &gt; (require racket/contract)<br>
&gt; &gt; (provide/contract [my-thunk (-&gt; void?)])<br>
&gt; &gt; (define (my-thunk)  (display (format &quot;Hi there, Racket fans!~n&quot;)))<br>
&gt; &gt;<br>
&gt; &gt; If I do not use contracts in my-module.rkt, then the scribbling works fine.<br>
&gt; &gt; If I do, then evaluating (my-eval) generates the error.<br>
&gt; &gt;<br>
&gt; &gt; What up?<br>
&gt; &gt; _________________________________________________<br>
&gt; &gt;   For list-related administrative tasks:<br>
&gt; &gt;   <a href="http://lists.racket-lang.org/listinfo/users">http://lists.racket-lang.org/listinfo/users</a><br>
</p>