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 <dpav...@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 <mfl...@cs.utah.edu >> <mailto:mfl...@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 >> ____________________ Racket Users list: http://lists.racket-lang.org/users
