In general this is very difficult, because of 'module type of' and functors. Almost any change can be a breaking change. If we pretend that those two don't exist then we can make a modest set of guarantees. See https://inbox.ocaml.org/caml-list/71ff7d61-6899-9b05-4c01-3984d47698ca@cea.fr/t/#u for more on this.

Regards,

Yawar

On Sat, Jan 2, 2021 at 2:51 AM Markus Elfring <Markus.Elfring@web.de> wrote:

Hello,

OCaml is also an instance of a programming language where type inference belongs
to core functionality. The usage of various data types will evolve in several
programming interfaces.

* How do you think about to check if API revisions are still compatible there?

* Which kind of variations can be occasionally tolerated in interface descriptions?

I would appreciate your advices.

Regards,
Markus