<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>I just tried that but got an even weirder error:</div><div><div><font face="Courier New">#lang typed/racket</font></div><div><font face="Courier New">(require math/array)</font></div><div><font face="Courier New">(module+ test</font></div><div><font face="Courier New"> (require math/array)</font></div><div><font face="Courier New"> (require/typed math/array</font></div><div><font face="Courier New"> [unsafe-list->array (All (a) [Indexes (Listof a) -> (Array a)])])</font></div><div><font face="Courier New"> (array #[#[#f #f #f]</font></div><div><font face="Courier New"> #[#f #f #f]</font></div><div><font face="Courier New"> #[#f #f #f]])</font></div><div><font face="Courier New"> )</font></div></div><div><div><font face="Courier New">;unsafe-list->array2: unbound identifier;</font></div><div><font face="Courier New">; also, no #%top syntax transformer is bound in: unsafe-list->array2</font></div></div><br><div><div>On Jul 31, 2014, at 9:31 PM, Vincent St-Amour <<a href="mailto:stamourv@ccs.neu.edu">stamourv@ccs.neu.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">At Thu, 31 Jul 2014 19:48:31 -0400,<br>Alexander D. Knauth wrote:<br><blockquote type="cite"><br>And also I just curious, how does type checking work with module+ anyway? <br></blockquote><br>The short answer is that it doesn't work reliably.<br><br>There's a bug in the expander that affects (IIRC) how TR determines<br>whether a module is typed or not. Until that's fixed, TR thinks that<br>your submodule is untyped (at least as far as imports go).<br><br>A workaround that I've used is to use `require/typed` inside the<br>submodule.<br><br>Vincent<br></blockquote></div><br></body></html>