[Agda] agda-mode stopped working

[Thorsten Altenkirch]

On 10 Jun 2010, at 19:41, Nils Anders Danielsson wrote:

> On 2010-06-10 18:38, Andrés Sicard-Ramírez wrote:
>> Are you using the version 2.2.7?
>
> He is (the Emacs mode uses a fixed version of the Agda library), but  
> the
> Emacs mode and the library are not based on the same patches.
>
> I know from experience that, in the past, Thorsten has installed  
> Agda in
> multiple locations. If GHC picks one version, and the shell does not
> pick a matching agda-mode executable (this program is used to select  
> the
> right version of the Emacs mode), then this kind of problem can occur.
>
> On the other hand, the problem may just be that Emacs has not been
> restarted after the new version of Agda was installed.

I have restarted emacs and I hope that now I only have one version of  
Agda installed.

Cheers,
Thorsten