Hi,<br><br>I&#39;m playing with <span style lang="EN-GB"><a href="http://telefonica.net/web2/koot/lc-with-redex.zip"><span class="SpellE"><span style lang="FR">lc</span></span><span style lang="FR">-<span class="SpellE">with</span>-<span class="SpellE">redex</span></span></a> by Jos Koot, with example uses of Redex.<br>

<br>When I use the traces function (miu-traces.rkt) I get the &quot;PLT Redex Reduction Graph&quot; window, but if I try to redo the layout, clicking on &quot;Fix layout&quot; I get an error:<br>&quot;Could not find the dot binary&quot;.<br>

<br>I figured out it is about dot from GraphViz, but I couldn&#39;t find anywhere in the docs any mention to this dependency.<br><br>Anyway, I installed GraphViz and made sure that its bin/ directory is in the path.<br><br>

However, Redex (dot.rkt) searches for the executable using (find-executable-path &quot;dot&quot;), which doesn&#39;t work since on Windows it is called dot.exe.<br><br>(find-executable-path &quot;dot.exe&quot;) works.<br>

<br><br>I believe this kind of problem may arise in other situations. Windows has a PATHEXT environment variable that maybe could be used in </span><span style lang="EN-GB">find-executable-path to try appending an extension to the name of the executable (eg: .exe, .bat, ...).<br>

<br>Or maybe there is a better way to patch this part of Redex to support Windows?<br><br><br></span><span style lang="EN-GB"></span>[]&#39;s<br clear="all">Rodolfo Carvalho<br>