[racket] raco exe: unknown module
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)>
On Mar 2, 2015, at 5:38 AM, Dmitry Pavlov <dpavlov at ipa.nw.ru> wrote:
>
> 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
>>