Cmdliner: Deprecation warnings

[mizlan]

A number of deprecation warnings.

File "bin/main.ml", line 74, characters 14-23:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                   ^^^^^^^^^
Alert deprecated: Cmdliner.Term.exit_info
Use Cmd.Exit.info instead.
File "bin/main.ml", line 74, characters 51-64:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                                                        ^^^^^^^^^^^^^
Alert deprecated: Cmdliner.Term.default_exits
Use Cmd.Exit.defaults or Cmd.info's defaults ~exits value instead.
File "bin/main.ml", line 75, characters 2-6:
75 |   exit @@ eval begin
       ^^^^
Alert deprecated: Cmdliner.Term.exit
Use Stdlib.exit and Cmd.eval instead.
File "bin/main.ml", line 75, characters 10-14:
75 |   exit @@ eval begin
               ^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "bin/main.ml", line 80, characters 4-8:
80 |     info ~doc:"Coq synthesizer" ~exits "coq_synth"
         ^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
    ocamlopt lib/coq_synth.cmxs
ld: warning: -undefined suppress is deprecated
ld: warning: -undefined suppress is deprecated
File "bin/main.ml", line 74, characters 14-23:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                   ^^^^^^^^^
Alert deprecated: Cmdliner.Term.exit_info
Use Cmd.Exit.info instead.
File "bin/main.ml", line 74, characters 51-64:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                                                        ^^^^^^^^^^^^^
Alert deprecated: Cmdliner.Term.default_exits
Use Cmd.Exit.defaults or Cmd.info's defaults ~exits value instead.
File "bin/main.ml", line 75, characters 2-6:
75 |   exit @@ eval begin
       ^^^^
Alert deprecated: Cmdliner.Term.exit
Use Stdlib.exit and Cmd.eval instead.
File "bin/main.ml", line 75, characters 10-14:
75 |   exit @@ eval begin
               ^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "bin/main.ml", line 80, characters 4-8:
80 |     info ~doc:"Coq synthesizer" ~exits "coq_synth"
         ^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
        opam (internal)
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.

I can open a PR for this if you'd like. The opam var issue is trickier but I think supporting 2.1 makes more sense than 2.0. Opam 2.1 was released in mid-2021, which is over 2 years ago.

[qsctr]

Thanks for the issue.

I can open a PR for this if you'd like.

That would be great. Alternatively, if you're working on the lemmafinder project with Todd I can just give you push access so you can make the changes directly.

Happy to see another FP enthusiast at ucla :)

[mizlan]

Sure! I'm working on lemmafinder but only getting familiar right now; I just had documented this in my process of installing lemmafinder.

If I get push access, I may address this at a later point.

[qsctr]

Added you as a collaborator.