<br><br>On Wednesday, September 14, 2011, Eli Barzilay <<a href="mailto:eli@barzilay.org">eli@barzilay.org</a>> wrote:<br>> An hour ago, Shriram Krishnamurthi wrote:<br>>> Can't comment on option (b), but option (a) is what I was thinking<br>
>> of.<br>><br>> Just to clarify (a) is a kind of a cheap way out: there's a facility<br>> to shove random information into languages, so add one more bit. The<br>> (b) option is much more interesting in that the code can decide to<br>
> report some extra stuff to render, and drr will listen and show it<br>> when asked.<br>><br>><br>>> One thing is it'd be nice to make these things "work" even in<br>>> textual mode (for shell/Emacs users) -- things like coverage<br>
>> coloring presumably just get ignored in that case, as opposed to the<br>>> code not running at all because of a MrEd dependency.<br>><br>> It does work from the repl -- only needs someone enthusiastic enough<br>
> to wire the information in some better looking way. And it would be<br>> really nice if someone makes check-syntax produce gui-independent<br>> information that could be used elsewhere (like binding arrows<br>
> appearing in the documentation).<br><br>Check syntax does this. I essetially had to add that as part of the online check stuff. <br><br>Robby<br><br><br>><br>> | -> ,cover /tmp/x<br>> | #lang racket/base<br>
> |<br>> |<br>> | (define (foo x)<br>> |<br>> | (if (zero? x)<br>> |<br>> | (+ x 10)<br>> | ^^^^^^^^<br>> | (* x 100)))<br>> |<br>> | (foo 10)<br>> |<br>><br>> --<br>
> ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:<br>> <a href="http://barzilay.org/">http://barzilay.org/</a> Maze is Life!<br>>