Hi,<br><br><div class="gmail_quote">On Tue, Aug 7, 2012 at 7:03 PM, Ray Racine <span dir="ltr"><<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div>Looks like I'm still missing something.</div><div>Built off of GIT master. About Racket shows.</div><div>Welcome to DrRacket, version 5.3.0.17--2012-08-07(c03daba7/d/list) </div><div><br></div><div>====</div><div> #lang typed/racket</div><div> </div><div>(module zoo typed/racket</div><div> (provide tiger)</div><div> </div><div> (: tiger String)</div><div> (define tiger "Tony"))</div><div> </div><div>(require 'zoo) </div> <div> </div><div>tiger</div><div>====</div><div><br></div><div><div>. . ../../usr/local/racket/collects/typed-racket/env/env-req.rkt:9:4: standard-module-name-resolver: contract violation</div><div> expected: module-path?</div> <div> given: '(submod (submod 'anonymous-module zoo) #%type-decl)</div></div><div class="HOEnZb"><div class="h5"><div><br></div><br></div></div></blockquote><div><br>I ran that code with DrRacket 5.3 (windows 32-bit installer) and got an equivalent message. I tried saving the file but it didn't help.<br> </div></div><br>Was that supposed to work?<br><br>[]'s<br><br>Rodolfo<br>