The expansion of submodules is intended to have a fresh store, just like the expansion of any module. The `#f' initial import is intended to be something like using `(submod "..")' as the initial language, except importing all internal bindings of the module instead of its exports.
Can Typed Racket not handle enclosing bindings in the same way that it handles `require's in general? At Mon, 25 Jun 2012 17:05:21 -0400, Sam Tobin-Hochstadt wrote: > It appears that the expansion of (module* m #f ...) occurs in a fresh > store, but before running the inner module's `#%module-begin` binding. > To see this, run the program at https://gist.github.com/2991214 , and > note that ">> in module-begin" is printed only once, but the expansion > of `m` fails, indicating a fresh store. > > This is troublesome for Typed Racket, which uses the store to record > the types of identifiers. Is this the intended behavior? > -- > sam th > sa...@ccs.neu.edu _________________________ Racket Developers list: http://lists.racket-lang.org/dev