[racket] raco exe: unknown module

From: Alexander D. Knauth (alexander at knauth.org)
Date: Sat Feb 28 16:46:58 EST 2015

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> 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20150228/0f13b001/attachment-0001.html>

Posted on the users mailing list.