[racket] TR Submodules

Shouldn't this problem be documented with Typed Racket? I believe we have had several inquiries concerning this problem. 




On Nov 19, 2012, at 11:24 AM, Sam Tobin-Hochstadt wrote:

> 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
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4373 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20121119/00c4efa6/attachment.p7s>