<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">I posted this to users@ first, but I think this might be more relevant here. The core problem is that <a href="http://docs.racket-lang.org/reference/stxtrans.html?q=syntax-local-lift-require#(def._((quote._~23~25kernel)._syntax-local-lift-require))" class=""><font face="Courier" class="">syntax-local-lift-require</font></a> lifts the <font face="Courier" class="">#%require</font> form to the top of the enclosing module. This has the side effect of preventing those require specs from including submodules.<div class=""><br class=""></div><div class="">This is a real problem, since Typed Racket’s require/typed form uses local-require, which in turn uses syntax-local-lift-require. This means that require/typed currently <i class="">cannot require submodules</i>. It seems to me that either require/typed, require-local, or syntax-local-lift-require needs to be modified to be compatible with submodules, but I’m not sure how this should be achieved.</div><div class=""><br class=""></div><div class="">Should the <font face="Courier" class="">module</font> form be hoisted to the top of its enclosing module? Or will that cause problems I’m not foreseeing? I’d really appreciate some kind of solution to this problem because I’ve developed what I think is a fairly nice macro for use with Typed Racket, but I’d need it to properly interoperate with submodules to work correctly.</div></body></html>