[racket] raco exe: unknown module

From: Dmitry Pavlov (dpavlov at ipa.nw.ru)
Date: Tue Mar 3 09:38:50 EST 2015


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

Posted on the users mailing list.