[racket] Use of "struct:"

From: Paul Leger (pleger at gmail.com)
Date: Fri Jan 27 16:41:27 EST 2012

Hi all,
    A simple question. I try typing the following example
(module nest racket
    (provide (struct-out egg))
    (struct egg (color wt)))

in this way
(module nest typed/racket
    (provide (struct-out egg))
    (struct: egg ([color : String]  [wt : Number])))

But I get:
   module: identifier already provided (as a different binding) in: egg

I disabled the compilation options in the "Choose Language" Dialog,
but I get the same error.

PS: Another simple question, Which is the syntax to define only one
mutable field in a "struct:" in Typed Racket?

Thank very much,
Paul,

Posted on the users mailing list.