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
