[Agda] Fix emacs compile hook after updating to new agda version
G. Allais
guillaume.allais at ens-lyon.org
Wed Mar 22 09:37:21 CET 2017
Hi Stephan,
Have you tried running `agda-mode compile`?
Cheers,
On 22/03/17 00:07, stvienna wiener wrote:
> 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
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170322/d83c9c96/attachment-0001.sig>
More information about the Agda
mailing list