Another possibility is that the identifiers that your reader produces are not syntax-original?. You have to use 'read-syntax' to actually produce the identifiers to get that mark on them.
There are some unreleased changes to datalog that improve this aspect of it: http://git.racket-lang.org/plt/commit/bf95ee10523daabea4925073ff035bf57ecad59f there are few followup commits that clean up that one but not, I think, relating to this issue. Robby On Tue, Jul 3, 2012 at 12:01 PM, Vincent St-Amour <[email protected]> wrote: > At Tue, 3 Jul 2012 17:47:57 +0200, > Jens Axel Søgaard wrote: >> However there is one thing missing. After clicking the check syntax >> button in DrRacket I do not get any arrows showing bindings. >> Obviously I must have missed something, but what? >> Is something required to turn on the arrows? > > If your language implementation discards identifiers, you can use the > `disappeared-use' and `disappeared-binding' syntax properties to get > arrows back. > > Vincent > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
