[racket-dev] Trouble with state, submodules, and module-begin

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
samth at ccs.neu.edu