[opam-devel] OPAM Roadmap -- what next ?

Peter Zotov whitequark at whitequark.org
Sun Dec 21 13:26:49 GMT 2014

On 2014-12-21 16:19, Daniel Bünzli wrote:
> Le dimanche, 21 décembre 2014 à 13:43, Peter Zotov a écrit :
>> Imagine four packages installed:
>> * B.1
>> * B.2
>> * A.1 depends: B<2
>> * A.2 depends B>=2
>> Now if you request A.1, the wrong version of B will get pulled in.
> Request through what ? I think your scenario is underspecified. If
> A.1's META file specifies that it requires B.1 then B.1 will be pulled
> in.

Through ocamlfind, of course, there's nothing else now.

Sure. But note that ocamlfind explicitly refuses to deal with versioning
constraints; it's even in the manual. So the dependencies of neither
A.1 nor A.2 are not expressible in META.

Additionally, this requires more work from package maintainers, and
I can't imagine how to convince them to do it. (I do not think
it is possible to automatically infer those from opam fields.)

Peter Zotov

More information about the opam-devel mailing list