Nevermind the nevermind.<div><br></div><div>I can&#39;t seem to get (quote-module-path) into Typed Racket and obtaining the module path for use in the Racket Places API is core.  The problem is quote-module-path is syntax and the closed over procedure module-path-fixup is protected on export.</div>
<div><br></div><div>I did find some special handling of this issue in typed-racket/typecheck/tc-app/tc-app-special.rkt but the machinery is beyond me.</div><div><br></div><div>Any ideas?  I&#39;d really like to use Racket Places in TR.</div>
<div><br></div><div>Thanks,</div><div><br></div><div>Ray</div><div><br><div class="gmail_quote">On Sat, Oct 27, 2012 at 6:35 PM, Ray Racine <span dir="ltr">&lt;<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Oh boy.  Nevermind.  Never occurred to me to ... I donno just (require syntax/location).  sigh<div class="HOEnZb"><div class="h5">
<br><br><div class="gmail_quote">On Sat, Oct 27, 2012 at 6:25 PM, Ray Racine <span dir="ltr">&lt;<a href="mailto:ray.racine@gmail.com" target="_blank">ray.racine@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Trying to use quote-module-path in TR.  Minimum need is its no arg version, e.g. (quote-module-path).  The below is giving me a syntax error however.</div>

<div><br></div><div>Thanks in advance.</div><div><br></div><div>
Ray</div><div><br></div><div>#lang typed/racket</div><div><br></div><div>(require/typed syntax/location</div><div>               [quote-module-path (-&gt; Module-Path)])</div>
</blockquote></div><br>
</div></div></blockquote></div><br></div>