Thanks Matthew,<div><br></div><div>Is this also the same/similar bug but with  submodule path as filename?<br></div><div><br></div><div>This works:</div><div>-----------------------------------------------------------------</div>
<div>#lang racket ;; client.rkt<br> (require (submod &quot;things.rkt&quot; extra-things))<br> (displayln thing-a)<br> </div><div><br></div><div>#lang racket ;; things.rkt<br>(provide thing-a thing-b)<br><br>(define thing-a &#39;thing-a)<br>
(define thing-b &#39;thing-b)<br><br>(module+ extra-things<br>    (provide (all-from-out (submod &quot;..&quot;)))<br>   (provide all-defined-out)<br>  <br>    (define extra-thing-c &#39;extra-thing-c)<br>    (define extra-thing-d &#39;extra-thing-d))<br>
  <br> </div><div>RUNNING client.rkt  GIVES:</div><div><br></div><div>&gt; thing-a</div><div>------------------------------</div><div>BUT</div><div><br></div><div>#lang racket ;; client.rkt<br> (require (submod &quot;things.rkt&quot; extra-things))<br>
 (displayln thing-a)<br> </div><div><br></div><div>#lang racket ;; things.rkt<br>(provide thing-a thing-b)<br><br>(define thing-a &#39;thing-a)<br>(define thing-b &#39;thing-b)<br><br>(module+ extra-things<br>   (provide (all-from-out &quot;things.rkt&quot;)) ;;CHANGED  (submod &quot;..&quot;)<br>
                                                                                             ;;TO &quot;things.rkt&quot;<br>   (provide all-defined-out)<br>  <br>   (define extra-thing-c &#39;extra-thing-c)<br>   (define extra-thing-d &#39;extra-thing-d))<br>
  </div><div>------------------------</div><div>RUNNING client.rkt GIVES ERROR</div><div>things.rkt:8:25: all-from-out: no corresponding require in: &quot;things.rkt&quot;</div><div><br></div><div>Thanks,</div><div>Harry Spier</div>
<br><div class="gmail_quote">On Fri, Nov 23, 2012 at 10:31 AM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
That&#39;s a bug. I&#39;ve pushed a repair to the git repo.<br>
<br>
Thanks for the report!<br>
<div><div class="h5"><br>
At Tue, 20 Nov 2012 23:19:30 -0500, Harry Spier wrote:<br>
&gt; Dear list members,<br>
&gt;<br>
&gt; This works in DrRacket:<br>
&gt; definitions window<br>
&gt; -------------------------<br>
&gt; #lang racket<br>
&gt; (module+ server<br>
&gt; (provide a-from-server)<br>
&gt; (define a-from-server &#39;a-from-server))<br>
&gt;<br>
&gt; (module+ client<br>
&gt; (module server2 racket<br>
&gt; (provide b-from-server2)<br>
&gt; (define b-from-server2 &#39;b-from-server2))<br>
&gt;<br>
&gt; (require (submod &quot;..&quot; server))<br>
&gt; (provide (all-from-out (submod &quot;..&quot; server)))<br>
&gt;<br>
&gt; (require &#39;server2)<br>
&gt; (provide (all-from-out (submod &quot;.&quot; server2))))<br>
&gt;<br>
&gt; (module+ main<br>
&gt; (require (submod &quot;..&quot; client))<br>
&gt; a-from-server<br>
&gt; b-from-server2)<br>
&gt;<br>
&gt; Results in interactions window<br>
&gt; ---------------<br>
&gt; &gt;<br>
&gt; &#39;a-from-server<br>
&gt; &#39;b-from-server2<br>
&gt;<br>
&gt; BUT the following gives me the error: &quot;all-from-out: no corresponding<br>
&gt; require in: (quote server2)&quot;<br>
&gt; Could someone explain why I&#39;m getting this error.<br>
&gt;<br>
&gt; Definitions window<br>
&gt; ------------------<br>
&gt; #lang racket<br>
&gt; (module+ server<br>
&gt; (provide a-from-server)<br>
&gt; (define a-from-server &#39;a-from-server))<br>
&gt;<br>
&gt; (module+ client<br>
&gt; (module server2 racket<br>
&gt; (provide b-from-server2)<br>
&gt; (define b-from-server2 &#39;b-from-server2))<br>
&gt;<br>
&gt; (require (submod &quot;..&quot; server))<br>
&gt; (provide (all-from-out (submod &quot;..&quot; server)))<br>
&gt;<br>
&gt; (require &#39;server2)<br>
&gt; (provide (all-from-out &#39;server2)))  ;;;CHANGED (submod &quot;.&quot; server2) TO<br>
&gt; &#39;server2<br>
&gt;<br>
&gt; (module+ main<br>
&gt; (require (submod &quot;..&quot; client))<br>
&gt; a-from-server<br>
&gt; b-from-server2)<br>
&gt;<br>
&gt; Thanks,<br>
&gt; Harry Spier<br>
</div></div>&gt; ____________________<br>
&gt;   Racket Users list:<br>
&gt;   <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br>
</blockquote></div><br>