I ran the program below and it produced a .ps file that I opened with
preview and I see the attached, which seems to have the arrows in it.
Are you doing something differently?
Robby
On Sat, Apr 28, 2018 at 9:17 PM, Shu-Hung You
wrote:
> 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.
--
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.