From Agda 2.6.4: Simpler way to get Agda version using --numeric-version option

[andreasabel]

This code seems to parse the version of Agda from the output of agda -V:

agda-mode-vscode/src/Connection/Emacs/Connection__Emacs.res

Line 35 in 905ec61

switch Js.String.match_(%re("/Agda version (.*)/"), output) {

Agda >= 2.6.4 should have a --numeric-version option.

• New option --numeric-version to just print Agda's version number agda/agda#6522

This could be utilized at some point, but maybe you need to be handle older versions of Agda, so it might not be so useful in the near future.

I am also changing the output of agda -V by adding a few lines with information about the cabal flags used during build, but hopefully this will not destroy your version parser here: The output of agda -V will still start with Agda version VERSION_STRING.

• Option --version: also print cabal flags used in the build agda/agda#6553