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.

Reply via email to