[Agda] Fix emacs compile hook after updating to new agda version

stvienna wiener stvienna at gmail.com
Wed Mar 22 00:07:34 CET 2017


Hi all,


When I compile an agda file, I get the emacs error:
"wrong type argument sequencep, ask".

I googled it and it is quite a common error and I know at least one other
agda user who has the same problem.

Does anyone know a fix?

Thanks and best regards,
Stephan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170322/2350f94d/attachment.html>


More information about the Agda mailing list