Re: [racket-users] Redex, traces and Graphviz

2015-09-24 Thread Anton Podkopaev
Robby, thank you very much! BR, Anton Podkopaev 2015-09-23 23:48 GMT+03:00 Robby Findler : > Yes, but only in a fairly complex way. Your rendering function would > have to call out to graphviz, get the results back as a png, use > read-bitmap to get the png back into Racket, create an image snip

Re: [racket-users] Redex, traces and Graphviz

2015-09-23 Thread Robby Findler
Yes, but only in a fairly complex way. Your rendering function would have to call out to graphviz, get the results back as a png, use read-bitmap to get the png back into Racket, create an image snip and then insert that into the editor, using the more complex version of the `pp` argument. Here's

[racket-users] Redex, traces and Graphviz

2015-09-23 Thread Anton Podkopaev
Hello! I'm working on an operational semantics using PLT Redex. I use `traces` a lot to debug my semantics. To represent states in a nice way I'm using a pretty printer, but I want more -- I want to use Graphviz. Is it somehow possible to call Graphviz from my pretty printer, and incorporate a