From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 757197F72C for ; Tue, 16 Aug 2016 14:45:13 +0200 (CEST) IronPort-PHdr: 9a23:JB2vARMNxvKL96EfQbMl6mtUPXoX/o7sNwtQ0KIMzox0Kf79rarrMEGX3/hxlliBBdydsKMdzbOJ+PyxESxYuNDa4ShEKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9GO35F8bogtit0KjqotuIMlwO3WX2PeI6bE3v616A7o9O2coqA51y4yOBmmFPdeVSyDEgDnOotDG42P2N+oV++T9bofMr+p0Ie6z7e6MlUe4QV2x+YCgdrffmvhjbTAaJ+mBUEiBPykIJUD7+8QriU5ztniz/v+t7kGnGbIylBYwzDBir6qZmTlfEjyMGODMruDXbg8lxgaQdrBWlphNy0abVZpuUPbxwZPWOU8kdQD9uV8xLViFFSri3b4YVAvBJaelRpZP8ql9IthC+CBOhHsvgzzZJgjn92qhsgLdpKh3PwAF1R4FGi3/TttigcfpLXA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f170.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.170 as permitted sender) identity=mailfrom; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f170.google.com) identity=helo; client-ip=209.85.223.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CQAAAoCrNXhqrfVdFehBt8B6dvhgqLR4F9JIJCgzcCgU0HOhICAQEBAQEBAQESAQEBCAsLCRkvgjIEAROCFAEBBAESER0BGxILAQMBCwYFBAcNDR0CAiIBEQEFAQoSBhMICggIh3QBAw8IDqAJgTI+Mos8gWqCWwWGagoZJwMKVINZAQEBAQEBBAEBAQEBAQEYAgYQhhqETYRtglSCWgWGXwySVoFihDyIe4I5jQyMOII4Ex6BDw8WCYJJgVk6MocXAQEB X-IPAS-Result: A0CQAAAoCrNXhqrfVdFehBt8B6dvhgqLR4F9JIJCgzcCgU0HOhICAQEBAQEBAQESAQEBCAsLCRkvgjIEAROCFAEBBAESER0BGxILAQMBCwYFBAcNDR0CAiIBEQEFAQoSBhMICggIh3QBAw8IDqAJgTI+Mos8gWqCWwWGagoZJwMKVINZAQEBAQEBBAEBAQEBAQEYAgYQhhqETYRtglSCWgWGXwySVoFihDyIe4I5jQyMOII4Ex6BDw8WCYJJgVk6MocXAQEB X-IronPort-AV: E=Sophos;i="5.28,529,1464645600"; d="scan'208,217";a="190132951" Received: from mail-io0-f170.google.com ([209.85.223.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 Aug 2016 14:45:12 +0200 Received: by mail-io0-f170.google.com with SMTP id q83so105925884iod.1; Tue, 16 Aug 2016 05:45:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=A7Qjqn0zCE3++5x6Or24cQ2yqwKDE90nHZLzNelwMNw=; b=Ibj89HxFqvtbcVpxIFTWHV3eHjUg9LdJf6n2zU3bc65JOJcLLyFRGfXd7lIMcxDYyn ylxYX+VxCAAU1uJ4drjHXrcCjGCNCMd7RVq/+uRfDNTJatzdqI/BvJATvLqJGfP63Jop O3FkPZWmWuJI3n4UIJivB5Jk2NGE7SqcZON6/qmT8ehj99IAnDOsp6QyGmRDIq9jCwgT AluVzxxQAvcpKQS/QRWOBaO3VD5GGeld1PSbDvXhkJTFn15Qec4s4uniPsoFhxY9n/Z1 pF/E/gKsQLm+F/kvis83O8o2xhlVbHefl0lGslmi4g5hQ0kUV92QOsa4kJAUcmEzqSFe BEVA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=A7Qjqn0zCE3++5x6Or24cQ2yqwKDE90nHZLzNelwMNw=; b=YIvxw/6ICKosjtCFdVOmPvyzLupl7ngw6tsF6D4JJACbpeP8QSihnScOOn4o1qmKii 21Jfs1yI+/g+8x3QcjxOGB7ZT7gQSitkkrZidJW9+BLD3Retu5oHop0D7bEU8hg+4gBY KFfLPyjTTqKxpaeTSsmSLGoNevUeHgJyLxRjxso3QE8mOQvBKZz9KeRXoP4pyYqbuHDs u/7g2en/OaAO9l9KMwTkt53p1KomwsFa56Q+Maky+QywQd7jAywtFMRWN60KQ12KY/0M M5T6trdODpqI6o8izZ8xT1d2fe9arDejoVf/wRRx9B+84GoT/fRRbwbtp3/fszHe/RWW yu6w== X-Gm-Message-State: AEkoouvmXXLCAIDG3ssvSU79jYqo789BIYFM+wumzjoRT0XDFasIFUa48XkbcR4Mm0QBY2HKXw2SwhT1ujSH2g== X-Received: by 10.107.139.194 with SMTP id n185mr44184139iod.159.1471351510374; Tue, 16 Aug 2016 05:45:10 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.20.67 with HTTP; Tue, 16 Aug 2016 05:44:29 -0700 (PDT) In-Reply-To: References: <3F86857B-79DC-4FCE-8727-691C23120C3F@inria.fr> <20160809142412.GA12056@frosties> <1038B4FD-B561-413E-885A-8EAE00AC31FD@inria.fr> <8E48ABE1-F29A-4F24-816A-636F57717335@inria.fr> <2EE300AC-F36A-4140-9886-A44A5554B192@inria.fr> <20160812122517.GB13692@venema.ocamlpro.com> From: Gabriel Scherer Date: Tue, 16 Aug 2016 14:44:29 +0200 Message-ID: To: Damien Doligez Cc: caml users Content-Type: multipart/alternative; boundary=94eb2c05bd8a1d9e34053a2fb850 Subject: Re: [Caml-list] OCaml 4.04.0+beta1 --94eb2c05bd8a1d9e34053a2fb850 Content-Type: text/plain; charset=UTF-8 I personally use (< "4.03") instead of (< "4.03.0"), and I believe that this way to rule out 4.03.x versions would remain correct (and readable) if the negative-"~" convention was adopted, as long we don't use "4.03~foo" as a version number but rather "4.03.0~foo". (Note that "4.05~dev" could have the nice effect that software configured to pessimistically reject future OCaml releases (< 4.05) could still be built from a development version for testing.) I must say that this semantics for ~ looks rather nice -- although I agree that writing foo~~ would be a wart and should be avoided. On Tue, Aug 16, 2016 at 2:37 PM, Damien Doligez wrote: > > > On 2016-08-12, at 14:50, David Allsopp wrote: > > > > If such a change were agreed, it would also be possible to alter opam > lint (or at least opam-repository linting, once that's fully a "thing") to > display a lint warning/info that things like ocaml {< "4.05"} probably mean > "ocaml" {< "4.05~~"}. > > So every mention of an OCaml version number in every opam package > description file will have to be suffixed with a ~. And that has to be done > before we change the OCaml numbering scheme. > > And I still don't know what's the upside, except for "that's how Debian > does it"... > > -- Damien > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --94eb2c05bd8a1d9e34053a2fb850 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I personally use (< "4.03") instead= of (< "4.03.0"), and I believe that this way to rule out 4.03= .x versions would remain correct (and readable) if the negative-"~&quo= t; convention was adopted, as long we don't use "4.03~foo" as= a version number but rather "4.03.0~foo".

(Note tha= t "4.05~dev" could have the nice effect that software configured = to pessimistically reject future OCaml releases (< 4.05) could still be = built from a development version for testing.)

I must say that= this semantics for ~ looks rather nice -- although I agree that writing = foo~~ would be a wart and should be avoided.

On Tue, Aug 16, 2016 at 2:37 PM, Damie= n Doligez <damien.doligez@inria.fr> wrote:

> On 2016-08-12, at 14:50, David Allsopp <dra-news@metastack.com> wrote:
>
> If such a change were agreed, it would also be possible to alter opam = lint (or at least opam-repository linting, once that's fully a "th= ing") to display a lint warning/info that things like ocaml {< &quo= t;4.05"} probably mean "ocaml" {< "4.05~~"}.

So every mention of an OCaml version number in every opam package de= scription file will have to be suffixed with a ~. And that has to be done b= efore we change the OCaml numbering scheme.

And I still don't know what's the upside, except for "that'= ;s how Debian does it"...

-- Damien


--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--94eb2c05bd8a1d9e34053a2fb850--