Re: [racket-users] Redex trace/ps doesn't produce edges

[Robby Findler]

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.

[racket-users] Redex trace/ps doesn't produce edges

[Shu-Hung You]

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.