[racket] weird error with typed racket, submodules, and math/array

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 <stamourv at 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