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

From: Alexander D. Knauth (alexander at knauth.org)
Date: Thu Jul 31 19:48:31 EDT 2014

If I have this program:
#lang typed/racket
(require math/array)
(module+ test
  (require math/array)
  (array #[#[#f #f #f]
           #[#f #f #f]
           #[#f #f #f]])
  )
Then it gives me this error:
Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: unsafe-list->array
  from module: typed-array-struct.rkt in: unsafe-list->array

If I take it out of the module+ test the error goes away, but what’s really weird is that if I take out the first (require math/array), then the error also goes away.  

And also I just curious, how does type checking work with module+ anyway?  

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140731/db51d0ec/attachment.html>

Posted on the users mailing list.