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 On Mon, Nov 19, 2012 at 10:44 AM, Matthew Flatt <[email protected]> wrote: > 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 <[email protected] > >wrote: > > > > > On Sun, Nov 18, 2012 at 9:02 PM, Ray Racine <[email protected]> > 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 > > > [email protected] > > > > > ____________________ > > Racket Users list: > > http://lists.racket-lang.org/users >
____________________ Racket Users list: http://lists.racket-lang.org/users
