[racket] TR Submodules

On Sun, Nov 18, 2012 at 9:02 PM, Ray Racine <ray.racine at 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
samth at ccs.neu.edu