My racketfoo is not strong enough to provide a suggestion for a solution,
but I can see the utility in what you are trying to do (at least in the way
I understood your message); use a macro to wrap untyped code within a typed
context.
TR provides a `with-type` to write typed code within an untyped
Okay, new information. I’ve looked into this more, and I’m pretty sure it has
nothing at all to do with errortrace. I don’t know why running it from the
command line without errortrace works, but as far as I can tell it shouldn’t.
The real problem is that require-local uses syntax-local-lift-req
2 matches
Mail list logo
