search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
266 stars 70 forks source link

The State of the CI. #629

Open jfdm opened 3 weeks ago

jfdm commented 3 weeks ago

Idris-mode is a front end for integrating with the Idris family of compilers (that is Idris 1 & Idris2).

Idris mode's CI suite tests against various emacs/idris versions. Irregularly, we address the range of versions of Emacs we test against. We should do the same for versions of Idris we test against.

My gut feeling is that Idris2 is more used than Idris1, and we should reflect this in our testing. I propose that we test Idris1 against the latest version of Emacs only.

Thoughts and comments?

So

keram commented 3 weeks ago

My gut feeling is that Idris2 is more used than Idris1

I would be happy to hear from anyone having real world use cases of Idris1 especially from emacs users. I know that the user experience of Idris2 is still behind in many circumstances to Idris1 and I wish this would be prioritised in Idris2 language itself. Example support for eldoc Idris1 eldoc-idris1

Idris2 eldoc-idris2 :/ There should be somewhere issue reported in Idris2 repository although could not find it now.

From practical perspective to test idris-mode for Idris1 against only the latest version of Emacs should not be problem and it will make the whole CI pipeline less fragile and faster 👍🏻

jfdm commented 2 weeks ago

Thanks for the comments. I have pruned the CI so that idris-mode is tested against the latest idris1 and emacs.