Allow a macro to "reset" the elaborator and do all the elaboration passes within itself about hackett HOT 4 OPEN

Should mod forms work like module*? That is, should they be expanded after the enclosing Racket module has been expanded and elaborated? Or should they be more like module submodules, which are expanded as soon as they are discovered?

from hackett.

They currently work like module and not module*. Modules cannot refer to definitions from their enclosing modules, but definitions in an outer module can refer to submodules.

from hackett.

PS:
Even with a form that behaved more like module*, the mod form should ideally stay the same. It wouldn't be (def-module M (mod ....)) vs. (def-module M (mod* ....)), it would be:

(def-module M (mod ....))
vs.
(def-module* M (mod ....))

With the same mod form for both.

I'm imagining that the def-module form would expand right away while def-module* form would have its expansion delayed until after everything else in the enclosing module is expanded. And whether it's within one or the other, the mod form would want to do all the passes of the elaborator at that time.

from hackett.

Would you rather have a function like call-with-no-elaborate-pass, or an optional extra argument like (local-expand+elaborate .... #:reset? #true)?

from hackett.