From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 4A26CBC57; Thu, 24 Jun 2010 22:49:56 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao4EAGBhI0yBWB4RgWdsb2JhbACDHZwyAQEWIiKxAJEogSmDCHAE X-IronPort-AV: E=Sophos;i="4.53,476,1272837600"; d="scan'208";a="65272212" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Jun 2010 22:49:56 +0200 Received: from trottinette.imag.fr (trottinette.imag.fr [129.88.34.202]) by rominette.imag.fr (8.13.8/8.13.8) with ESMTP id o5OKncnu008503 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 24 Jun 2010 22:49:38 +0200 Received: from trottinette.imag.fr (localhost.imag.fr [127.0.0.1]) by trottinette.imag.fr (8.13.8/8.13.8/ImagV2.1.feuille) with ESMTP id o5OKnjLM012357; Thu, 24 Jun 2010 22:49:45 +0200 Received: (from apache@localhost) by trottinette.imag.fr (8.13.8/8.13.8/Submit) id o5OKniqB012356; Thu, 24 Jun 2010 22:49:44 +0200 X-Authentication-Warning: trottinette.imag.fr: apache set sender to florent.ouchet@imag.fr using -f Received: from AGrenoble-552-1-173-80.w109-208.abo.wanadoo.fr (AGrenoble-552-1-173-80.w109-208.abo.wanadoo.fr [109.208.236.80]) by webmail.imag.fr (Horde Framework) with HTTP; Thu, 24 Jun 2010 22:49:44 +0200 Message-ID: <20100624224944.91886zxkgzxq78iw@webmail.imag.fr> Date: Thu, 24 Jun 2010 22:49:44 +0200 From: Florent Ouchet To: Till Varoquaux Cc: Martin Jambon , Damien Doligez , caml users Subject: Re: [Caml-list] OCaml 3.12.0+beta1 References: <4C232778.2020605@imag.fr> <4C2399B0.4060503@ens-lyon.org> <20100624205906.48451eor602oaf3u@webmail.imag.fr> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Internet Messaging Program (IMP) H3 (4.3.6) X-MI2S-Agent: webmail 3.3.6 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.2 (rominette.imag.fr [129.88.30.17]); Thu, 24 Jun 2010 22:49:39 +0200 (CEST) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: o5OKncnu008503 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: florent.ouchet@imag.fr MailScanner-NULL-Check: 1278017381.84741@/f5P+ybBQWmZCRZKfNrkJQ X-Spam: no; 0.00; ocaml:01 ocaml:01 avoided:01 compile:01 pps:01 caml-list:01 jussieu:01 underscore:02 imag:02 compiled:04 anyway:05 anyway:05 shared:06 likely:08 seem:08 Till Varoquaux a =C3=A9crit=C2=A0: > As for forward compatibility (ie programs coded with 3.12 in mind > might not compile with 3.10) this is a price I am happy to pay in > order to have a language that's constantly improving. I think that > this is feeling that is shared by many. ok all, it has to be considered as forward compatibility, speaking at =20 ocaml point-of-view, this POV is likely the one most of you have. However, at source POV (where OCaml is seen as a tool), this can be =20 seen as backward compatibility: the source code we write could be =20 backward compatible with older versions of OCaml. Anyway, I will stop =20 here the terminology fight and use your POV... > And, last but nor least, older does not necessarily mean more stable. ...and I won't feed the troll too. > You seem to use those interchangeably in your mail. Windows 3.11 is > old... This specific ( { ; _} ) forward compatibility with ocaml <3.12 is =20 possible for a little cost. It's just about removing the extra =20 underscore characters. Anyway if the preprocessing script does not =20 come out of the ocaml 3.12 box, I will have to do it. Other developers =20 may have to so as well. Mainly because this coverage check is a must-do and because I do not =20 want to force a general update to OCaml 3.12 when that can be avoided. =20 The coverage check has to be done only once, at "developer's" side, =20 using 3.12. Once the changes are done, stripped code can easily be =20 compiled using older versions of OCaml, at "user's" side. - Florent