This is now fixed, thanks mostly to more debugging by Matthew.
Sam
On Tue, Mar 3, 2015 at 9:38 AM, Dmitry Pavlov 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)
>
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:
syn
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: #
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/52573
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: #
compilation context...:
/home/travis/build/AlexKnauth/measures-with-d
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 wro
6 matches
Mail list logo
