Hello everyone, I try to save the traces generated by Redex to an image. However, the arrows between the expressions don't show up in the result.
I tried some combinations of #:x-spacing, #:edge-labels? and #:layout to let the arrows showed up in trace, but the edges remain hidden when I ran trace/ps. Any clue about this? code: https://gist.github.com/shhyou/55ab7e060488e8181acc5d50c8eeca4c Thanks! Shu-Hung -------- #lang racket (require redex/reduction-semantics redex/gui) (define-language L) (define R (reduction-relation L #:domain integer (--> 5 0 "zero!"))) (traces R 5 #:x-spacing 400) (traces/ps R 5 "trace-ps-image.ps" #:x-spacing 400) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.