<html><head></head><body dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">It seems like types defined with #:omit-define-syntaxes can be used within the same module, but not when it’s provided and required into a different module. Is this a bug, or is there something else I need to do, or what? #lang typed/racket (module thing typed/racket (provide x) (define-type x 5 #:omit-define-syntaxes) (define x : x 5) (define-type y x) (void (ann x y))) (require 'thing) (define-type z x) ;. Type Checker: parse error in type; ; type name `x' is unbound in: x ;. Type Checker: parse error in type; ; type name `x' is unbound in: x ;. Type Checker: Summary: 2 errors encountered in: ; x ; x And the x in (define-type z x) is highlighted. </body></html>