OK, the DR build issue is gone.<br><br>But the following in DR.<br><br><br>#lang typed/racket<br><br>(provide x)<br><br>(module M typed/racket<br>  (provide x)<br>  (define: x : Natural 3))<br><br>(require (submod &quot;.&quot;  M))<br>
<br>x<br><br>;; end<br><br>Give me the following when run:<br><br>. . ../../usr/local/racket/collects/typed-racket/env/env-req.rkt:9:4: standard-module-name-resolver: cycle in loading<br>  at path: /home/ray/test.rkt<br>  paths:<br>
   /home/ray/test.rk<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Nov 19, 2012 at 10:44 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">Can you try `raco setup -c&#39; followed by `raco setup&#39;?<br>
<br>
I fixed bugs in the bytecode compiler, and I forgot to increment the<br>
version number to make sure that bytecode files are rebuilt.<br>
<div class="HOEnZb"><div class="h5"><br>
At Mon, 19 Nov 2012 10:33:27 -0500, Ray Racine wrote:<br>
&gt; Did a quick sync and build and I&#39;m seeing a Racket internal error on<br>
&gt; launching DR.<br>
&gt; Error invoking tool<br>
&gt; #&lt;path:/usr/local/racket/collects/drracket&gt;;&quot;syncheck.rkt&quot;<br>
&gt;<br>
&gt; Error invoking tool<br>
&gt; #&lt;path:/usr/local/racket/collects/drracket&gt;;&quot;syncheck.rkt&quot;<br>
&gt;<br>
&gt; UNKNOWN: : read (compiled): ill-formed code [./../src/validate.c:1167]<br>
&gt;<br>
&gt;<br>
&gt; UNKNOWN: : read (compiled): ill-formed code [./../src/validate.c:1167]<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; On Mon, Nov 19, 2012 at 10:21 AM, Sam Tobin-Hochstadt &lt;<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>&gt;wrote:<br>
&gt;<br>
&gt; &gt; On Sun, Nov 18, 2012 at 9:02 PM, Ray Racine &lt;<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>&gt; wrote:<br>
&gt; &gt; &gt; #lang typed/racket<br>
&gt; &gt; &gt;<br>
&gt; &gt; &gt; (provide x)<br>
&gt; &gt; &gt;<br>
&gt; &gt; &gt; (module M typed/racket<br>
&gt; &gt; &gt;   (provide x)<br>
&gt; &gt; &gt;   (define: x : Natural 3))<br>
&gt; &gt; &gt;<br>
&gt; &gt; &gt; (require (submod &quot;.&quot;  M))<br>
&gt; &gt; &gt;<br>
&gt; &gt; &gt; ;; end-of-file<br>
&gt; &gt; &gt;<br>
&gt; &gt; &gt; Submodules don&#39;t work in TR (at least the above variation).  I added a<br>
&gt; &gt; few<br>
&gt; &gt; &gt; debug statements and it does appear the when requiring a submodule<br>
&gt; &gt; defined<br>
&gt; &gt; &gt; within the enclosing file it fact TR attempts to dynamic-require the<br>
&gt; &gt; current<br>
&gt; &gt; &gt; source file/module again.<br>
&gt; &gt;<br>
&gt; &gt; This program works correctly for me in DrRacket and racket (built<br>
&gt; &gt; yesterday).  What problem are you seeing?<br>
&gt; &gt;<br>
&gt; &gt; --<br>
&gt; &gt; sam th<br>
&gt; &gt; <a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a><br>
&gt; &gt;<br>
</div></div><div class="HOEnZb"><div class="h5">&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>
</div></div></blockquote></div><br></div>