On 03/03/2015 01:59 AM, Alexander D. Knauth wrote:
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)>
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
