[racket] TR requite/typed syntax error

From: Ray Racine (ray.racine at gmail.com)
Date: Sat Oct 27 19:53:49 EDT 2012

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.

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.

Any ideas?  I'd really like to use Racket Places in TR.



On Sat, Oct 27, 2012 at 6:35 PM, Ray Racine <ray.racine at gmail.com> 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 <ray.racine at gmail.com> 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)])
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121027/10c64ac3/attachment-0001.html>

Posted on the users mailing list.