[racket] raco exe: unknown module

Discussion:

Dmitry Pavlov

2015-02-27 12:39:14 UTC

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

Matthew Flatt

2015-02-27 20:43:24 UTC

Permalink

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!

Post by Dmitry Pavlov
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)>
/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
____________________
http://lists.racket-lang.org/users

____________________
Racket Users list:
http://lists.racket-lang.org/users

Alexander D. Knauth

2015-02-28 21:46:58 UTC

Permalink

Im 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

Post by Matthew Flatt
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!

____________________
http://lists.racket-lang.org/users

Dmitry Pavlov

2015-03-02 10:38:28 UTC

Permalink

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

Regards,

Dmitry

I’m getting a similar error on Travis CI for my measures-with-dimensions
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)>
/home/travis/build/AlexKnauth/measures-with-dimensions/typed/measures-with-dimensions/exact-tau-pi-eta.rkt
/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

____________________
http://lists.racket-lang.org/users

____________________
Racket Users list:
http://lists.racket-lang.org/users

Alexander D. Knauth

2015-03-02 22:59:23 UTC

Permalink

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

Post by Dmitry Pavlov
Well, in my case the error is gone in the the latest snapshot of Racket.
Regards,
Dmitry

____________________
http://lists.racket-lang.org/users

____________________
Racket Users list:
http://lists.racket-lang.org/users

Dmitry Pavlov

2015-03-03 14:38:50 UTC

Permalink

Post by Alexander D. Knauth
Could submodules be causing it?
#lang typed/racket/base
(provide x)
(define x : Integer 1)
(module* test racket/base
(require (submod ".."))
x)
. . 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)>

You are right, this error is there despite Matthew's recent fix.
Nothing more I can say, though.

Regards,

Dmitry
____________________
Racket Users list:
http://lists.racket-lang.org/users

Sam Tobin-Hochstadt

2015-03-06 16:43:45 UTC

Permalink

This is now fixed, thanks mostly to more debugging by Matthew.

Sam

Post by Dmitry Pavlov

Post by Alexander D. Knauth
Could submodules be causing it?
#lang typed/racket/base
(provide x)
(define x : Integer 1)
(module* test racket/base
(require (submod ".."))
x)
syntax-local-module-exports: unknown module
module name: #<resolved-module-path:(submod 'try #%contract-defs)>

You are right, this error is there despite Matthew's recent fix.
Nothing more I can say, though.
Regards,
Dmitry
____________________
http://lists.racket-lang.org/users

____________________
Racket Users list:
http://lists.racket-lang.org/users