From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0A4A47F890 for ; Wed, 26 Mar 2014 10:00:22 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.142 as permitted sender) identity=mailfrom; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@cirse-out.extra.cea.fr) identity=helo; client-ip=132.167.192.142; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@cirse-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0EAB+WMlOEp8COm2dsb2JhbABZg0HDSgECgRoWDgEBAQEBCAkLCRQogiUBAQEEMgFGEAsYCR4HDwI1ERMBBQICh3UNzz0XjnEHFoQiBJoAhRqNVoE/ X-IPAS-Result: Ai0EAB+WMlOEp8COm2dsb2JhbABZg0HDSgECgRoWDgEBAQEBCAkLCRQogiUBAQEEMgFGEAsYCR4HDwI1ERMBBQICh3UNzz0XjnEHFoQiBJoAhRqNVoE/ X-IronPort-AV: E=Sophos;i="4.97,734,1389740400"; d="scan'208";a="64787639" Received: from cirse-out.extra.cea.fr ([132.167.192.142]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Mar 2014 10:00:21 +0100 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id s2Q90Lle031238; Wed, 26 Mar 2014 10:00:21 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id AD6C82042FE; Wed, 26 Mar 2014 10:01:56 +0100 (CET) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 97207203967; Wed, 26 Mar 2014 10:01:56 +0100 (CET) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet2.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id s2Q90KYd004856; Wed, 26 Mar 2014 10:00:20 +0100 Message-ID: <53329725.90602@cea.fr> Date: Wed, 26 Mar 2014 10:00:21 +0100 From: =?ISO-8859-1?Q?Fran=E7ois_Bobot?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131103 Icedove/17.0.10 MIME-Version: 1.0 To: caml-list@inria.fr CC: platform References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ocaml-platform] [ANN] Experiment: OCaml patch review on github.com/ocaml/ocaml On 25/03/2014 22:34, Yotam Barnoy wrote: > This is incredible! Now let's get them all compiling and running unit tests on Travis! > On Tue, Mar 25, 2014 at 12:40 PM, Anil Madhavapeddy > wrote: > Each switch corresponds to the current development trunk, with the > diff in the PR applied. If the patch is sane, you can proceed to > install OPAM packages in the experimental tree as usual without > affecting your day-to-day compiler switch. > > Hope this is useful! More details at: > http://anil.recoil.org/2014/03/25/ocaml-github-and-opam.html It is awfully useful. I was trying to setup an OPAM repository for simplifying the review of PR#22, but you did it for me and all the others, thank you. I'm just wondering if it is wise to add all these switches to the default OPAM repository. For casual ocaml user the useful switches are lost among all these PR. Perhaps the default possible switches can be reduced to the last releases (for people that work on project that must support old version of ocaml) and to the beta and trunk for people that are curious of the accepted new features. For ocaml compiler hackers a specific OPAM repository with all the svn branches and github PR can be setup. What do you think? -- François