search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

added Cmd_autoOne for Agda 2.5.4 #88

Closed mchristianl closed 5 years ago

mchristianl commented 5 years ago

Hi,

in the current 2.6.0 pre-release https://hackage.haskell.org/package/Agda-2.5.4.2.20190310/candidate/Agda-2.5.4.2.20190310.tar.gz the Cmd_auto command was changed in Agda's PR3282.

This might only affect ≥ v2.5.4.2 but my Agda just reports "2.5.4" for conn.version.sem with agda --version on 2.6.0-b946192.

banacorn commented 5 years ago

Thanks for the pull request! Sorry for the late reply, just came back from some intense working group meeting. I'll manage to merge this and release a patch in a few days!

banacorn commented 5 years ago

Sorry for the late merge, and thank you again!

After some testing I think that Cmd_auto would remain in v2.5.4.2 proper, and new commands like Cmd_autoOne will land after v.2.6.0, so I'm changing version comparing condition to ≥ v2.6.0.

Note Minor versions after v2.5.4.2 and before v.2.6.0 like 2.5.4.2.20190310 would break.