Anyone have any ideas?

It looks like the problem with racket/hash is the contract system. Anything that involves the contract system will not work, because the contract system involves syntax objects in its expansion. More generally, modules cannot be flattened by the expander when they have fully-expanded run-time code that refer to things defined by the expander, such as syntax objects, eval, or read (since the reader is implemented with the expander).

wow. guys. im going to do a nanopass tutorial for the bay area lisp users group and I’m going to do it in racket lang.

Please share when it’s done!