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] <div class="gmail_extra"> <div class="gmail_quote"> On Mon, Nov 19, 2012 at 10:21 AM, Sam Tobin-Hochstadt <<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div class="im">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. </div>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> </blockquote></div> </div>