Re: [Caml-list] Tools for helping backward compatibility?

["François Bobot" <francois.bobot@cea.fr>]

Le 21/08/2020 à 15:52, Hendrik Boom a écrit :
> On Fri, Aug 21, 2020 at 02:19:10PM +0200, François Bobot wrote:
>> Hi all,
>>
>>   Backward compatibility helps a lot a community of packages to move forward. There are other
>> possibilities like being able to co-install multiple version of a library, but having backward
>> compatibility is still a huge simplification of the problem.
> 
> I forget if OCaml lets you specify just exactly which names you import 
> from a module.


Since https://github.com/ocaml/ocaml/pull/2147, which implements
https://www.cl.cam.ac.uk/~jdy22/papers/extending-ocamls-open.pdf it is possible to restrict easily
the names you are importing but you need to specify the type of each of them, which is quite verbose.


> But if it does, some editor features would be useful:
> 

> Yes, these changes will likely need deep interaction between the editor 
> and the compiler.

It could be fun to have the information automatically updated during the edition. The refreshing of
the precise import could also be done just once before any release.

Best,

-- 
François