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

2015-05-04 Thread Alexis King
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

2015-05-04 Thread Norman Gray
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,