We were discussing backward compatibility at a dune meeting the other day and François Bobot pointed to this idea he sent on the caml list last year. The idea is to get help from the typer to check that we don’t use a library in a way that would be broken by backward compatible changes in this library, which seems pretty neat.
1 Like