But then I don't have a typed submodule in a typed module. I think the original should work as well. On Aug 7, 2012 7:40 PM, "Rodolfo Carvalho" <rhcarva...@gmail.com> wrote:
> 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
