[Agda] Agda under emacs
Sergei Meshveliani
mechvel at botik.ru
Sat Oct 17 06:13:42 CEST 2015
People,
I wonder: why Agda does not work any more under emacs under my settings?
In old days (say, year ago) it worked.
Now I try to run Development Agda of October 8 2015
under emacs.
> emacs Foo.agda
Ctrl-C Ctrl-l
reports
"Another command is currently in progress
(if a command has been aborted you may want to restart Agda)
"
When installing Agda, I command
> cabal install Agda
> agda-mode compile
And the file .emacs contains this:
-----------------------------------------------------
(custom-set-variables
'(agda2-include-dirs (quote ("."
"/home/mechvel/agda/stLib/oct8-2015/src")))
'(agda2-program-args (quote ("+RTS" "-K200m " "-M14G" "-H14G" "-RTS"))))
(custom-set-faces
)
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "agda-mode locate")))
-----------------------------------------------------
For emacs, I always do
-----------
M-x load-library RET agda2-mode
M-x customize-group RET agda2 RET
-----------
And then, I edit there the fields Agrs, include-dirs.
But today, it does not suggest include-dirs.
In old days, all the above settings worked. And currently something is
somehow twisted.
Can you, please, advise of how to fix?
Thanks,
------
Sergei
More information about the Agda
mailing list