[opam-devel] OPAM Roadmap -- what next ?
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
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.)
More information about the opam-devel