OCaml 4.09

[Brett Gilio <brettg@gnu.org>]

Hey all,

Short message! I am trying to get our OCaml development system up to
shape, as it is currently lagging some versions behind. I have opened a
wip-ocaml4.09 branch for this work. Here are some of the things that
need work that I have identified.

-- The opam importer needs revised and updated.

-- Basically all of the Jane Street components need reimported and
   modified.

-- The dune build system probably needs to be able to handle two
   versions of dune without complication.

-- We need to create some unison packages for things like
   dune-configuration.

-- Basically all OCaml dependent packages need to get rebuilt and
   tested, ensuring that test cases are also appropriately handled (some
   are disabled that could easily be enabled.)

-- Get our OCaml development components up to date and working, like
   ocamlformat, merlin, tuareg, the ocaml-lsp system (forked off of
   merlin).

-- Potentially add a Coq subimporter for opam.

-- Be able to have variant compilers for ocaml-flambda (and the upcoming
   ocaml-multicore) switches.

If any of these tasks interest you, I challenge you to help! :). I am
trying my best to do it myself so far, but I am running on a very
limited amount of contribution time these next couple of weeks. This is
an important task, too, for us Formal Methods people in the Guix
community, as a lot of formal methods utilities run on OCaml.

Carry on! Thanks.

-- 
Brett M. Gilio
GNU Guix, Contributor | GNU Project, Webmaster
[DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]
<brettg@gnu.org> <brettg@posteo.net>