Could this have anything to do with it?
http://docs.racket-lang.org/reference/eval-model.html#%28part._separate-compilation%29 On Feb 22, 2015, at 3:12 PM, Sam Tobin-Hochstadt <[email protected]> wrote: > This looks like a bug to me. > > Sam > > On Sun, Feb 22, 2015, 2:49 PM Alexander D. Knauth <[email protected]> > wrote: > Using #:omit-define-syntaxes doesn’t work because then when other modules > import it it forgets about the type: > > def.rkt: > #lang typed/racket > (provide x) > (define-type x 'x #:omit-define-syntaxes) > (define x : x 'x) > > ref.rkt: > #lang typed/racket > (require "def.rkt") > x ; works fine, outputs 'x > (define y : x x) ; Type Checker: parse error in type; type name `x' is > unbound in: x > > Why doesn’t this work, and is there another way to do this? > > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users
____________________ Racket Users list: http://lists.racket-lang.org/users
