The arrows don't form a tree. But have a look at the docs and see. Additional layers welcome. On Wednesday, September 14, 2011, Eli Barzilay <<a href="mailto:eli@barzilay.org">eli@barzilay.org</a>> wrote: > A few minutes ago, Robby Findler wrote: >> On Wednesday, September 14, 2011, Eli Barzilay <<a href="mailto:eli@barzilay.org">eli@barzilay.org</a>> 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: > <a href="http://barzilay.org/">http://barzilay.org/</a> Maze is Life! >