<div dir="ltr"><div>Hello everyone <br></div>I managed to solve this. Seems like <br><br>(setq path &quot;/usr/local/bin:/usr/bin:/bin:<div>/usr/sbin:/sbin:/Users/mukeshtiwari/Programming/GHC/ghc-7.6.1/bin:/Users/mukeshtiwari/.cabal/bin:/Users/mukeshtiwari/Erlang/bin:/Users/mukeshtiwari/Programming/Scala/scala-2.10.0/bin:/usr/local/smlnj-110.75/bin&quot;)<br>

 (setenv &quot;PATH&quot; path)<br></div><div><br>is not good way to set paths in emacs.  I removed this line and added path using the following. <br><br>(setenv &quot;PATH&quot; (concat &quot;/Users/mukeshtiwari/Programming/GHC/ghc-7.6.1/bin:&quot; (getenv &quot;PATH&quot;)))<br>
(setq exec-path (cons &quot;/Users/mukeshtiwari/Programming/GHC/ghc-7.6.1/bin&quot; exec-path))<br><br>(setenv &quot;PATH&quot; (concat &quot;/Users/mukeshtiwari/.cabal/bin:&quot; (getenv &quot;PATH&quot;)))<br>(setq exec-path (cons &quot;/Users/mukeshtiwari/.cabal/bin&quot; exec-path))<br>
<br>(load-file (let ((coding-system-for-read &#39;utf-8))<br>                (shell-command-to-string &quot;agda-mode locate&quot;)))<br><br></div><div>Now its working fine.<br></div><div><br>Regards <br>Mukesh Tiwari<br>
</div><br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jan 17, 2013 at 3:32 AM, mukesh tiwari <span dir="ltr">&lt;<a href="mailto:mukeshtiwari.iiitm@gmail.com" target="_blank">mukeshtiwari.iiitm@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div>Hello all <br></div>I started learning agda and installed <a href="http://emacsformacosx.com/" target="_blank">gnu-emacs </a>version 24.2 and I followed all the instructions given of <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX" target="_blank">wiki</a> except aquamacs and library installation ( Currently I am not trying to import any library ). I have written this small code  Test.agda <br>

<br>Module Test <br><br>data Bool : Set where<br>  true : Bool<br>  false : Bool <br><br></div>I am not getting any syntax highlights and when I am opening this file ( C-f C-x )  , getting errors <br><br>File mode specification error: (file-error &quot;Searching for program&quot; &quot;No such file or directory&quot; &quot;agda&quot;) [2 times]<br>

(No changes need to be saved)<br>Starting agda process `agda&#39;.<br>apply: Searching for program: No such file or directory, agda<br>progn: Another command is currently in progress<br>(if a command has been aborted you may want to restart Agda)<br>

<br></div><div>I am using ghc-7.6.1 , Agda-2.3.2 and mtl-2.1.2 ( After bit of searching I got this post <a href="https://lists.chalmers.se/pipermail/agda/2012/004675.html" target="_blank">https://lists.chalmers.se/pipermail/agda/2012/004675.html</a> but the problem was mtl-2.1 which is not in my case ).  My .emacs file configuration is <br>

<br>; sane path<br>(setq path &quot;/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Users/mukeshtiwari/Programming/GHC/ghc-7.6.1/bin:/Users/mukeshtiwari/.cabal/bin:/Users/mukeshtiwari/Erlang/bin:/Users/mukeshtiwari/Programming/Scala/scala-2.10.0/bin:/usr/local/smlnj-110.75/bin&quot;)<br>

 (setenv &quot;PATH&quot; path)<br><br>(load-file (let ((coding-system-for-read &#39;utf-8))<br>                (shell-command-to-string &quot;agda-mode locate&quot;)))<br><br>(put &#39;downcase-region &#39;disabled nil)<br>

<br><br></div><div>Kindly tell me how to resolve this issue. <br><br></div><div>Regards <br><span class="HOEnZb"><font color="#888888">Mukesh Tiwari<br></font></span></div></div>
</blockquote></div><br></div>