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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id BA1FCBC57; Thu, 24 Jun 2010 20:59:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao0EAN1HI0yBWB4RgWdsb2JhbACfTgEBFiIiwiqFIQQ X-IronPort-AV: E=Sophos;i="4.53,475,1272837600"; d="scan'208";a="53852805" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jun 2010 20:59:17 +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 o5OIx0ZQ022474 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 24 Jun 2010 20:59:00 +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 o5OIx6Yr005503; Thu, 24 Jun 2010 20:59:06 +0200 Received: (from apache@localhost) by trottinette.imag.fr (8.13.8/8.13.8/Submit) id o5OIx6aE005502; Thu, 24 Jun 2010 20:59:06 +0200 X-Authentication-Warning: trottinette.imag.fr: apache set sender to 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 20:59:06 +0200 Message-ID: <20100624205906.48451eor602oaf3u@webmail.imag.fr> Date: Thu, 24 Jun 2010 20:59:06 +0200 From: Florent.Ouchet@imag.fr To: Martin Jambon Cc: florent.ouchet@imag.fr, Damien Doligez , caml users Subject: Re: [Caml-list] OCaml 3.12.0+beta1 References: <4C232778.2020605@imag.fr> <4C2399B0.4060503@ens-lyon.org> In-Reply-To: <4C2399B0.4060503@ens-lyon.org> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; 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 20:59:00 +0200 (CEST) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: o5OIx0ZQ022474 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: ouchet@imag.fr MailScanner-NULL-Check: 1278010742.31003@u7Wls6x71S3UdKjQHGLIQg X-Spam: no; 0.00; ocaml:01 ens-lyon:01 syntax:01 ocaml:01 nodes:01 syntax:01 compiler:01 compile:01 caml-list:01 tuples:01 tuples:01 minor:01 jambon:01 jambon:01 tree:02 Martin Jambon a =E9crit=A0: > I disagree. The syntax is a new and optional feature. Authors who =20 > want their > new code to compile with an earlier version of OCaml should simply =20 > avoid using > the new feature, as always. The 3.12 version number is just minor increment. It should keep =20 backward compatibility with the 3.x branch as much as possible. > Finally we'll be able to use pattern matching on records for real and it'= s > really cool. That means we can use records where we used to prefer tuple= s, > typically on things like tree nodes. It will make it easier to add field= s > when the code evolves, compared to tuples. Yes, this feature is cool. We agree on this point. However not all =20 systems will be updated to 3.12 as soon as the final version is out. =20 Most users rely on their linux distribution ocaml (Debian stable is =20 still stuck at 3.10 for instance). For syntax sugar extensions, such as { loc; name; _ }, your "don't use =20 it" conclusion can be understood. But for code stabilization syntax =20 extensions, such as { ... ; _ }, it's an other story. Users stuck with =20 more stable versions of the compiler should be able to use more stable =20 versions of software compiled with it. - Florent