<div dir="ltr"><div>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.<br><br></div>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.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jan 11, 2015 at 3:55 PM, Alexis King <span dir="ltr"><<a href="mailto:lexi.lambda@gmail.com" target="_blank">lexi.lambda@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">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 <a href="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" target="_blank">bug report already existed</a>. There, someone suggested that it would work fine with <font face="Courier">(submod "." foo)</font> instead of simply using <font face="Courier">'foo</font>. This works!<div><br></div><div>Except that it doesn’t work when errortrace is enabled. This behavior is observable here:</div><div><a href="https://gist.github.com/lexi-lambda/d0da64235e1bca59810f" target="_blank">https://gist.github.com/lexi-lambda/d0da64235e1bca59810f</a></div><div><br></div><div>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.</div></div><br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>