Strengthen link between .el files in src/data/emacs and src/agda-mode

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.41k stars 339 forks source link

Strengthen link between .el files in src/data/emacs and src/agda-mode #7216

Closed andreasabel closed 2 months ago

andreasabel commented 2 months ago

Add a README alerting of the duplication.
Fail in agda-mode compile if one of the files is missing.

Closes #7215.

andreasabel commented 2 months ago

Oh, I seem to have uncovered that CI does actually not test compiling the .el files: https://github.com/agda/agda/actions/runs/8505679216/job/23294956305?pr=7216#step:10:19

Missing Emacs Lisp files: /home/runner/work/agda/agda/.stack-work/install/x86_64-linux-tinfo6/c8902a9302aad0a02985ff871bf718142141192b78f1991397573123b6c9c8e5/9.8.2/share/x86_64-linux-ghc-9.8.2/Agda-2.6.5/emacs-mode/agda2-abbrevs.el ...

andreasabel commented 2 months ago

Oh, I seem to have uncovered that CI does actually not test compiling the .el files:

Rather, I implemented partitionM wrongly, assuming bool a b c was if c then a else b (but it is if c then b else a).