[racket] TR requite/typed syntax error

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

Got it.  Should be able to make progress from here.

Thanks

On Sat, Oct 27, 2012 at 8:26 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu>wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121027/38dd3049/attachment.html>

Posted on the users mailing list.