Re: More DrRacket binding arrow woes

> On May 7, 2016, at 5:18 AM, Alexis King <[email protected]> wrote:

> However, I am not seeing any of the Check Syntax binding arrows at all.
> Neither the arrows from imports nor arrows between definitions show up.
> Inspecting the syntax objects at read-time and after expansion in the
> macro stepper reveals quite clearly that the syntax objects I am
> producing are syntax-original?, and adding the
> 'original-for-check-syntax syntax property doesn’t affect things,
> either. The bindings are clearly correct, since the program runs, and
> comparing the scopes and syntax properties to an equivalent program in
> #lang racket doesn’t reveal any meaningful differences. I have no idea
> what I’m doing wrong.
> 
> Any ideas on how to diagnose this issue? I can also post
> the code I have somewhere if people think that would help, but it’s a
> bit much without reducing it to a self-contained example, so I figured
> I’d ask first to see if I’m forgetting something silly.
> 
> Alexis

So, the bindings are fine, and the syntax-original? property is fine. Is the source location good, including the `syntax-source` field?

I had a similar issue once, and it turned out that it was because the `syntax-source` part of the source location was wrong. I had been using things like `(input-port-append (open-input-string ....) ....)`, which were resulting in `syntax-source` fields of `'string` for some of the syntax objects. So that's something silly that can happen.

Other than that I don't know very much of what can go wrong to mess up the check-syntax arrows. Oh, also, they don't show up from background expansion, but did you mean that they also don't show up when you click the actual Check Syntax button? Sometimes that works when background expansion doesn't (it did for the `'string` case).

Alex Knauth

-- 
You received this message because you are subscribed to the Google Groups "Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
For more options, visit https://groups.google.com/d/optout.