[racket] TR Submodules

On Mon, Nov 19, 2012 at 11:04 AM, Ray Racine <ray.racine at gmail.com> wrote:
> 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.rkt

I believe that this is a problem in Racket, which Matthew believes
will require significant changes in the expander.  Unfortunately, that
means we won't have a fix that soon.
--
sam th
samth at ccs.neu.edu