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