[racket] raco exe: unknown module

From: Alexander D. Knauth (alexander at knauth.org)
Date: Mon Mar 2 17:59:23 EST 2015

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



Posted on the users mailing list.