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

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Thu Jul 31 21:31:16 EDT 2014

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

Posted on the users mailing list.