[Agda] agda-mode stopped working

[Nils Anders Danielsson]

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.

--
/NAD