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 down! IIRC Typed Racket switched
to using `local-require` in order to support uses of `require/typed` in
(as the comment on
So one possible solution is to switch back to using `require` but also
overhaul how TR handles the REPL to avoid these issues.
(for the REPL, local expanding everything at once doesn't work well
because an early definition in a `begin` has to be registered
before later clauses are typechecked)
Racket Developers list: