[racket] raco exe: unknown module

From: Dmitry Pavlov (dpavlov at ipa.nw.ru)
Date: Mon Mar 2 05:38:28 EST 2015

Well, in my case the error is gone in the the latest snapshot of Racket.

Regards,

Dmitry


On 03/01/2015 12:46 AM, Alexander D. Knauth wrote:
>
> I’m getting a similar error on Travis CI for my measures-with-dimensions
> package:
>
> https://travis-ci.org/AlexKnauth/measures-with-dimensions/jobs/52573161#L200
>
> syntax-local-module-exports: unknown module
> module name: #<resolved-module-path:(submod 'exact-tau-pi-eta
> #%contract-defs)>
> compilation context...:
> /home/travis/build/AlexKnauth/measures-with-dimensions/typed/measures-with-dimensions/exact-tau-pi-eta.rkt
> context...:
> /usr/racket/collects/racket/private/reqprov.rkt:79:13: t
> /usr/racket/collects/racket/require-transform.rkt:266:2: expand-import
> /usr/racket/collects/racket/private/reqprov.rkt:410:5
> /usr/racket/collects/racket/require-transform.rkt:266:2: expand-import
> /usr/racket/collects/racket/private/reqprov.rkt:542:24
> /usr/racket/collects/racket/private/reqprov.rkt:530:5
> /usr/racket/collects/racket/require-transform.rkt:266:2: expand-import
> /usr/racket/collects/racket/private/reqprov.rkt:1130:2
> /usr/racket/collects/compiler/cm.rkt:341:0: compile-zo*
> /usr/racket/collects/compiler/cm.rkt:556:26
> /usr/racket/collects/compiler/cm.rkt:548:42
> /usr/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo
> /usr/racket/collects/compiler/cm.rkt:628:2: do-check
> /usr/racket/collects/compiler/cm.rkt:708:4
> /usr/racket/collects/setup/parallel-do.rkt:431:20: loop
>
>
>
> On Feb 27, 2015, at 3:43 PM, Matthew Flatt <mflatt at cs.utah.edu
> <mailto:mflatt at cs.utah.edu>> wrote:
>
>> We've pushed repairs for the problem. It started with a recent change
>> in TR to avoid loading contracts when typed code isn't used in untyped
>> contracts, refining that implementation exposed a problem with `raco
>> exe`, etc.
>>
>> Thanks for the report!
>>
>> At Fri, 27 Feb 2015 15:39:14 +0300, Dmitry Pavlov wrote:
>>> Hello,
>>>
>>> Using the latest Racket snapshot, I am getting a cryptic
>>> error message in raco exe.
>>> test.slon is a program written in a custom #lang.
>>>
>>> $ racket -v
>>> Welcome to Racket v6.1.1.8.
>>> $ raco make test.slon
>>> $ racket test.slon
>>> OK
>>> $ raco exe test.slon
>>> require: unknown module
>>>   module name: #<resolved-module-path:(submod
>>> "/opt/racket/share/pkgs/math-lib/math/private/array/typed-array-struct.rkt"
>>>
>>> untyped-defs #%contract-defs)>
>>>   context...:
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop
>>>    /opt/racket/collects/compiler/embed.rkt:395:0: get-code
>>>    /opt/racket/collects/compiler/../racket/private/map.rkt:64:19: loop...
>>>
>>>
>>> I do not use any Typed Racket (not directly at least).
>>> I am getting this error in both Windows and Linux.
>>> Some time ago all worked fine.
>>>
>>> What can I do to trace down the bug?
>>>
>>>
>>>
>>> Best regards,
>>>
>>> Dmitry
>>>
>>> ____________________
>>>  Racket Users list:
>>> http://lists.racket-lang.org/users
>> ____________________
>>  Racket Users list:
>> http://lists.racket-lang.org/users
>

Posted on the users mailing list.