I’m creating this topic to centralize references to discussions on the impact (sometimes negative but often positive!) on Coq of the evolution of the OCaml compiler and tools; for example, compatibility issues introduced by new OCaml versions, and improvements in OCaml toolchain that could potentially benefit the Coq system.
Over the years we had discussions about this in many places (including in particular private email threads). Having a public place to centralize discussions, or at least references to discussions, can be beneficial. In particular, it allows people interested on this topic to have a global view of the various efforts going on – even if they don’t participate to everything.
(I’m going to post below with two separate pointers/summaries along these lines.)