Re: [racket] Redex on Windows - problem with GraphViz /find-executable-path

2012-01-17 Thread Rodolfo Carvalho
On Tue, Jan 17, 2012 at 18:03, Jos Koot wrote: > Thanks Rodolfo for your interest in lc-with-redex. I discovered the same > problem long ago, but made not any comment on it because I did not need fix > layout (or at least I think so, because I don't know what fix layout should > do. In many respe

Re: [racket] Redex on Windows - problem with GraphViz /find-executable-path

2012-01-17 Thread Jos Koot
ro de 2012 19:43 To: Rodolfo Carvalho Cc: Racket-users Subject: Re: [racket] Redex on Windows - problem with GraphViz /find-executable-path Perhaps something more general is better, but for now I've pushed something so that redex uses "dot.exe" and "neato.exe" under wind

Re: [racket] Redex on Windows - problem with GraphViz / find-executable-path

2012-01-17 Thread Rodolfo Carvalho
On Tue, Jan 17, 2012 at 16:43, Robby Findler wrote: > Perhaps something more general is better, but for now I've pushed > something so that redex uses "dot.exe" and "neato.exe" under windows. > > Thanks Robby. Maybe find-executable-path could look for PATHEXT on Windows. Would that represent a pe

Re: [racket] Redex on Windows - problem with GraphViz / find-executable-path

2012-01-17 Thread Robby Findler
Perhaps something more general is better, but for now I've pushed something so that redex uses "dot.exe" and "neato.exe" under windows. Thanks, Robby On Tue, Jan 17, 2012 at 12:34 PM, Rodolfo Carvalho wrote: > Hi, > > I'm playing with lc-with-redex by Jos Koot, with example uses of Redex. > > Wh

[racket] Redex on Windows - problem with GraphViz / find-executable-path

2012-01-17 Thread Rodolfo Carvalho
Hi, I'm playing with lc-with-redexby Jos Koot, with example uses of Redex. When I use the traces function (miu-traces.rkt) I get the "PLT Redex Reduction Graph" window, but if I try to redo the layout, clicking on "Fix layout" I get an error: "Co