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.
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 > <sa...@ccs.neu.edu>wrote: > > > On Sun, Nov 18, 2012 at 9:02 PM, Ray Racine <ray.rac...@gmail.com> 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 > > sa...@ccs.neu.edu > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
