[Agda] agda-mode stopped working

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu Jun 10 20:41:54 CEST 2010


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



More information about the Agda mailing list