This is now fixed, thanks mostly to more debugging by Matthew. Sam
On Tue, Mar 3, 2015 at 9:38 AM, Dmitry Pavlov <dpav...@ipa.nw.ru> wrote: > > > 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 ____________________ Racket Users list: http://lists.racket-lang.org/users
