[racket-dev] code coverage coloring

A few minutes ago, Robby Findler wrote:
> On Wednesday, September 14, 2011, Eli Barzilay <eli at barzilay.org> wrote:
> > And it would be really nice if someone makes check-syntax produce
> > gui-independent information that could be used elsewhere (like
> > binding arrows appearing in the documentation).
> 
> Check syntax does this. I essetially had to add that as part of the
> online check stuff.

Ooh, does it have some convenient interface?  Something like getting
the arrows as a tree of syntax objects?

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!