Got it. Should be able to make progress from here. <div> </div><div>Thanks <div class="gmail_quote">On Sat, Oct 27, 2012 at 8:26 PM, Sam Tobin-Hochstadt <<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Sat, Oct 27, 2012 at 4:53 PM, Ray Racine <<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>> wrote: > Nevermind the nevermind. > > I can'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>Right, this is a problem in a number of places. <div class="im"> > 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>This isn't the place where the solution goes. Instead, you want to add a type for `module-path-fixup` in `typed-racket/base-env/base-special-env.rkt`, which has a number of other examples of exactly this issue. <div class="im"> > Ray > > On Sat, Oct 27, 2012 at 6:35 PM, Ray Racine <<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>> wrote: >> >> Oh boy. Nevermind. Never occurred to me to ... I donno just (require >> syntax/location). sigh >> >> >> On Sat, Oct 27, 2012 at 6:25 PM, Ray Racine <<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>> wrote: >>> >>> 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. >>> >>> Thanks in advance. >>> >>> Ray >>> >>> #lang typed/racket >>> >>> (require/typed syntax/location >>> [quote-module-path (-> Module-Path)]) >> >> > > </div>> ____________________ > Racket Users list: > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> > -- sam th <a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a> </blockquote></div> </div>