I think this was fixed in this commit: https://github.com/plt/racket/commit/03855eb53248f6de46ccfaa71b001a0375156e50
To get rid of that error for 6.1.1, though, you might be able to use something similar to this: https://github.com/racket/typed-racket/blob/master/typed-racket-more/typed/syntax/stx.rkt On Apr 18, 2015, at 3:24 AM, Matthew Butterick <m...@mbtype.com> wrote: > How would I clear this typecheck error under 6.1.1? > > This code: > > #lang typed/racket > (define-namespace-anchor nsa) > > Produces this error: > > Type Checker: missing type for identifier; > consider using `require/typed' to import it > identifier: make-namespace-anchor > from module: namespace.rkt in: #%module-begin > > > The problem is that `make-namespace-anchor` is not an identifier provided by > "namespace.rkt", so there's no way to add a type using `require/typed`. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
