[racket] TR Submodules

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Nov 19 10:21:53 EST 2012

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

Posted on the users mailing list.