[opam-devel] ows reports

[Roberto Di Cosmo]

It's not about "the open", that is up to now bringing nothing to a better
understanding of the issue, since it is just me and you discussing on two
different points of views.

It's about the bandwidth, and time.


2014-09-30 18:19 GMT+02:00 Thomas Gazagnaire <thomas at gazagnaire.org>:

> > In particular, it does not try to solve the difficult issue of finding
> who is to
> > blame for a particular broken package, that's up to the release manager
> or the
> > package maintainers: if a package P marked "available" for 3.12 cannot
> compile
> > because it depends on a package Q that has no version "available" for
> 3.12,
> > it is broken nonetheless, and it must be reported, because a user may try
> > to install it and see it fail. I do not understand why you want to change
> > this.
>
> Because the kind of errors reported to the user is very different and the
> way to fix it is different as well.
>
> $ opam install async.108.00.02
> The following dependencies couldn't be met:
>   - async -> async_core = 108.00.02 -> core < 109.31.00
> Your request can't be satisfied:
>   - core<109.31.00 is not available because it requires OCaml >= 4.00.1 &
> < 4.01.0.
>
> vs.
>
> $ opam install mirage-www.0.3.0
> The following dependencies couldn't be met:
>   - mirage-www -> cstruct < 0.6.0
>   - mirage-www -> mirage-fs >= 0.4.0 -> cstruct >= 0.6.0 | cstruct >= 0.6.0
> Your request can't be satisfied:
>   - Conflicting version constraints for cstruct
>
> In the first case, there is nothing to "fix". But to make ows happy we can
> populate the "available" field of async to get the same message as when
> trying to install core:
>
> $ opam install core.108.00.02
> [ERROR] core.108.00.02 is not available because it requires OCaml < 4.00.1.
>
> This will transform the "red" box in ows into an "empty" box: that's good
> for the stats, but I'm not sure that's better for an user point-of-view.
>
> In the second case, that's clearly an error if the package that should be
> fixed (or the package should be removed as there is no valid user
> configuration where it can be installed). This is a very valuable
> information which should be high-lighted to the repository (or package)
> maintainers.
>
> > I'm sure in front of a blackboard things would be much easier to
> explain, both
> > ways, and we will certainly find common grounds then, so let's postpone
> this
> > discussion to the first occasion we can do that
>
> I'm happy to discuss about than in person, although I think that's also
> good we have that kind of discussion in the open so that other people on
> that list can follow what's happening and comment if they (don't?) like.
> But we can maybe organise an opam-devel meeting close to the ocaml
> consortium meeting (not sure when it is exactly, but can be the same day or
> the day before/after).
>
> Best,
> Thomas
>
>


-- 
Roberto Di Cosmo

------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:

Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140930/7312b6d7/attachment.html>