((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[racket] Racket v5.3

From: Rodolfo Carvalho (rhcarvalho at gmail.com)
Date: Tue Aug 7 19:39:45 EDT 2012		 
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/d5ec9748/attachment.html>
Posted on the users mailing list.