[racket] Racket v5.3

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" <rhcarvalho at 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120807/47de5e62/attachment-0001.html>