Normally I would do that and capitalize the first character of the type, but I am trying to define values and types for the chemical elements, and those are capitalized already.
On Feb 22, 2015, at 3:01 PM, Matthias Felleisen <[email protected]> wrote: > > Why do you want that? It's confusing to write x : x. I'd prefer x : X > anyways. > > > On Feb 22, 2015, at 2:43 PM, Alexander D. Knauth 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
