More DrRacket binding arrow woes

This is not the first time I have asked about the binding arrows on this
mailing list, but I seem to have run into a new problem that has me
completely stumped. I have written a #lang that uses an entirely custom
implementation of read-syntax (it does not wrap Racket’s read-syntax in
any way), and it seems to work alright. I can write some simple
programs, and they run properly.

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 am using syntax/module-reader
along with the #:whole-body-readers? option, if that is meaningful (I’m
also not configuring #:language-info, if that matters). 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

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