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
