[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

   (struct-out S))

  (struct: S ()))

(module tyuser typed/racket/base

   (submod ".." mytypes))

  (: mkS (Any -> S))
  (define (mkS value)
-------------- 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.