[racket] errortrace breaks local-require on submodules

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 context, so
maybe there should be a feature request for something like a `with-untyped`
to define an untyped region that adds type contracts at the boundary and
can be used in a typed context.

On Sun, Jan 11, 2015 at 3:55 PM, Alexis King <lexi.lambda at gmail.com> wrote:

> I wrote a typed racket macro that creates an untyped submodule, then uses
> require/typed to add type annotations to the bindings. This would work
> great, except that it just errors out and dies. I submitted a bug report
> before realizing that a bug report already existed
> <http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=14130&return_url=http://bugs.racket-lang.org/query/?database=default;debug=;State=any;ignoreclosed=Ignore%20Closed;Synopsis=local-require;multitext=;columns=State;columns=Synopsis;columns=Category;columns=Last-Modified;columns=Release;cmd=submit%20query;sortby=Number>.
> There, someone suggested that it would work fine with (submod "." foo)
> instead of simply using 'foo. This works!
>
> Except that it doesn’t work when errortrace is enabled. This behavior is
> observable here:
> https://gist.github.com/lexi-lambda/d0da64235e1bca59810f
>
> Note that it works fine using plain old require, and it also works fine
> without errortrace. What is errortrace doing that breaks this specific
> instance? How can I fix it? I’d really like to be able to solve this
> because my macro sort of depends on it.
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20150114/2ab2668d/attachment.html>