[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