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
>