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

[racket] TR - Require of a struct: defined in a submodule in a submodule.

From: Ray Racine (ray.racine at gmail.com)
Date: Tue Aug 28 10:32:57 EDT 2012		 
The following does not work.  Bug?

#lang typed/racket/base

(module mytypes typed/racket/base

  (provide
   (struct-out S))

  (struct: S ()))

(module tyuser typed/racket/base

  (require
   (submod ".." mytypes))

  (: mkS (Any -> S))
  (define (mkS value)
    (S)))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20120828/be7b3d77/attachment.html>
Posted on the users mailing list.