[Agda] agda-mode stopped working

Thorsten Altenkirch txa at Cs.Nott.AC.UK
Fri Jun 11 10:32:58 CEST 2010


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

Oops, not true. When trying to fix another problem (my emacs mode was broken) I accidently installed the release version by saying "cabal install Agda". Hence there were two versions of Agda installed (which one can see by saying

ghc-pkg list Agda

The fix is to uninstall both by saying

ghc-pkg unregister Agda

twice and then reinstall (cabal install in the Agda root). Thanks a lot, Nisse.

Cheers,
Thorsten

P.S. The problem with the emacs mode seems to have fixed itself too...

> Cheers,
> Thorsten_______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100611/92cd5d50/attachment-0001.html


More information about the Agda mailing list