[opam-devel] depopt constraints not respected

[Roberto Di Cosmo]

One can imagine to ask opam to infer hidden implicit conflicts
from constraints in the depopts metadata, and maybe this is what
will end up being implemented, but ...

 - it is good practice to make conflicts explicit when there
   are conflicts around

 - we have many opam users around that are potentially being
   hit by this issue right away: is it easier to add a single
   line to a few packages in the repository, or to change opam,
   test-it, roll it out and ask everybody to use the git dev
   version?

--
Roberto
   

On Sat, Apr 05, 2014 at 04:27:50PM +0200, Daniel Bünzli wrote:
> Le samedi, 5 avril 2014 à 16:04, Roberto Di Cosmo a écrit :
> > The right solution is to fix the metadata for (all versions of)
> > lwt, that miss this single line
> >  
> > conflicts: [ "react" { >= "1.0.0"} ]
> If conflicts is just the negation of the depopt constraint why doesn't the system handle that automatically ?  
> 
> Daniel
> 
> 

-- 
Roberto