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 1076CBC57; Thu, 24 Jun 2010 21:32:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgFAAdQI0xbeZiogWdsb2JhbACDHY8+MIwuFQEBFiIisQSRKoEpgwhwBA X-IronPort-AV: E=Sophos;i="4.53,475,1272837600"; d="scan'208";a="53854253" Received: from quare.fr ([91.121.152.168]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 24 Jun 2010 21:32:05 +0200 Received: from rezo-159-5.ens.fr ([129.199.159.5]) by quare.fr with esmtpsa (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.69) (envelope-from ) id 1ORs9Y-00084p-V2; Thu, 24 Jun 2010 21:32:00 +0200 Subject: Re: [Caml-list] OCaml 3.12.0+beta1 From: Mathias Kende To: Florent.Ouchet@imag.fr Cc: Martin Jambon , Damien Doligez , caml users In-Reply-To: <20100624205906.48451eor602oaf3u@webmail.imag.fr> References: <4C232778.2020605@imag.fr> <4C2399B0.4060503@ens-lyon.org> <20100624205906.48451eor602oaf3u@webmail.imag.fr> Content-Type: text/plain; charset="UTF-8" Date: Thu, 24 Jun 2010 21:31:55 +0200 Message-ID: <1277407915.3847.36.camel@mathias-ens> Mime-Version: 1.0 X-Mailer: Evolution 2.30.1.2 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 0200,:01 ens-lyon:01 syntax:01 ocaml:01 compiler:01 compiler:01 nodes:01 syntax:01 beginner's:01 bug:01 mathias:98 mathias:98 beginners:01 compile:01 Le jeudi 24 juin 2010 =C3=A0 20:59 +0200, Florent.Ouchet@imag.fr a =C3=A9cr= it : > Martin Jambon a =C3=A9crit : > > 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. >=20 > The 3.12 version number is just minor increment. It should keep =20 > backward compatibility with the 3.x branch as much as possible. Backward compatibility is the ability for the 3.12 compiler to compile source code written for the 3.11 or earlier version. And this is (mostly) achieved. What you're asking for is "forward compatibility". An no one really wants that, because it would prevent any new feature in the compiler exept on those rare major version. Mathias > > Finally we'll be able to use pattern matching on records for real and i= t's > > really cool. That means we can use records where we used to prefer tup= les, > > typically on things like tree nodes. It will make it easier to add fie= lds > > when the code evolves, compared to tuples. >=20 > 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). >=20 > 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. >=20 > - Florent >=20 > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs