[racket-dev] [plt] Push #24961: master branch updated

From: Eli Barzilay (eli at barzilay.org)
Date: Wed Jul 11 01:34:38 EDT 2012

Yesterday, samth at racket-lang.org wrote:
> 6bf1415 Sam Tobin-Hochstadt <samth at racket-lang.org> 2012-07-06 12:13
> :
> | Each typed module now defines a submodule named `type-decl`.
> | [...]

Assuming that you want to allow people to write code with submodules,
I think that a name like `#%type-decl' would be much better.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.