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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon Jun 25 17:05:21 EDT 2012

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

Posted on the dev mailing list.