[racket] TR requite/typed syntax error

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sat Oct 27 20:26:28 EDT 2012

On Sat, Oct 27, 2012 at 4:53 PM, Ray Racine <ray.racine at gmail.com> 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.

Right, this is a problem in a number of places.

> 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.

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.

> Ray
>
> 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)])
>>
>>
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>



-- 
sam th
samth at ccs.neu.edu

Posted on the users mailing list.