And wouldn’t hygienic macro-expansion mean that require/typed wouldn’t help anyway?
On Jul 31, 2014, at 9:31 PM, Vincent St-Amour <stamo...@ccs.neu.edu> wrote: > At Thu, 31 Jul 2014 19:48:31 -0400, > Alexander D. Knauth wrote: >> >> And also I just curious, how does type checking work with module+ anyway? > > The short answer is that it doesn't work reliably. > > There's a bug in the expander that affects (IIRC) how TR determines > whether a module is typed or not. Until that's fixed, TR thinks that > your submodule is untyped (at least as far as imports go). > > A workaround that I've used is to use `require/typed` inside the > submodule. > > Vincent ____________________ Racket Users list: http://lists.racket-lang.org/users
