[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