<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;"><div><br></div><div><br></div><div>Could this have anything to do with it?</div><div><br></div><div><a href="http://docs.racket-lang.org/reference/eval-model.html#%28part._separate-compilation%29">http://docs.racket-lang.org/reference/eval-model.html#%28part._separate-compilation%29</a></div><div><br></div><div><br></div><br><div><div>On Feb 22, 2015, at 3:12 PM, Sam Tobin-Hochstadt <<a href="mailto:samth@cs.indiana.edu">samth@cs.indiana.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><p dir="ltr">This looks like a bug to me.</p><p dir="ltr">Sam<br> </p> <br><div class="gmail_quote">On Sun, Feb 22, 2015, 2:49 PM Alexander D. Knauth <<a href="mailto:alexander@knauth.org">alexander@knauth.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Using #:omit-define-syntaxes doesn’t work because then when other modules import it it forgets about the type:<br> <br> def.rkt:<br> #lang typed/racket<br> (provide x)<br> (define-type x 'x #:omit-define-syntaxes)<br> (define x : x 'x)<br> <br> ref.rkt:<br> #lang typed/racket<br> (require "def.rkt")<br> x ; works fine, outputs 'x<br> (define y : x x) ; Type Checker: parse error in type; type name `x' is unbound in: x<br> <br> Why doesn’t this work, and is there another way to do this?<br> <br> <br> <br> ____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/<u></u>users</a><br> </blockquote></div> </blockquote></div><br></body></html>