The following code works and prints "Tony". Notice changing from #lang typed/racket to #lang racket/base.
======== #lang racket/base (module zoo typed/racket (provide tiger) (: tiger String) (define tiger "Tony")) (require 'zoo) tiger ======== []'s Rodolfo
____________________ Racket Users list: http://lists.racket-lang.org/users
