Re: [racket-dev] syntax-local-lift-require is useless wrt submodules

On 2015-01-11 23:29:28 -0800, Alexis King wrote: >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 cannot require submodules. Interesting, thanks for tracking this

[racket-dev] syntax-local-lift-require is useless wrt submodules

I posted this to users@ first, but I think this might be more relevant here. The core problem is that syntax-local-lift-require lifts the #%require form to