<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">If I have this program:<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"> (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>Then it gives me this error:</div><div><div><font face="Courier New">Type Checker: missing type for identifier;</font></div><div><font face="Courier New"> consider using `require/typed' to import it</font></div><div><font face="Courier New"> identifier: unsafe-list->array</font></div><div><font face="Courier New"> from module: typed-array-struct.rkt in: unsafe-list->array</font></div></div><div><br></div><div>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. </div><div><br></div><div>And also I just curious, how does type checking work with module+ anyway? </div><div><br></div></body></html>