[racket-users] Another typed/racket puzzle: module+ and scope

Greetings. I have come across another occasion where TR appears to behave in an unexpected way. Consider: % cat add1.rkt #lang typed/racket/base (provide add1) (: add1 (- Integer Integer)) (define (add1 x) (+ x 1)) % cat call-add1.rkt #lang typed/racket/base (require add1.rkt) (module+

Re: [racket-users] Another typed/racket puzzle: module+ and scope

Yes, it’s a known bug that submodules are broken within Typed Racket. I’m not entirely clear on the details, but I believe it is suspected that the reason is actually due to a bug in the macro expander, which should be fixed with Matthew Flatt’s new scope-sets model. Otherwise, I don’t think

Re: [racket-users] Another typed/racket puzzle: module+ and scope

Alexis, hello. On 2015 May 4, at 16:37, Alexis King lexi.lam...@gmail.com wrote: Yes, it’s a known bug that submodules are broken within Typed Racket. I’m not entirely clear on the details, but I believe it is suspected that the reason is actually due to a bug in the macro expander,