[racket] raco exe: unknown module

From: Sam Tobin-Hochstadt (samth at cs.indiana.edu)
Date: Fri Mar 6 11:43:45 EST 2015

This is now fixed, thanks mostly to more debugging by Matthew.

Sam

On Tue, Mar 3, 2015 at 9:38 AM, Dmitry Pavlov <dpavlov at ipa.nw.ru> wrote:
>
>
> On 03/03/2015 01:59 AM, Alexander D. Knauth wrote:
>>
>> Could submodules be causing it?
>> try.rkt:
>> #lang typed/racket/base
>> (provide x)
>> (define x : Integer 1)
>> (module* test racket/base
>>    (require (submod ".."))
>>    x)
>> Gives this error:
>> . . Racket v6.1.1.8/collects/racket/private/reqprov.rkt:79:13:
>> syntax-local-module-exports: unknown module
>>    module name: #<resolved-module-path:(submod 'try #%contract-defs)>
>
>
> You are right, this error is there despite Matthew's recent fix.
> Nothing more I can say, though.
>
>
> Regards,
>
> Dmitry
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users

Posted on the users mailing list.