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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 72A67BC57 for ; Fri, 25 Jun 2010 00:06:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AogCAB50I0yBWB4FmWdsb2JhbACDHZwyAQEBAQEICwoHESKwOXORIYEpgwhwBJBt X-IronPort-AV: E=Sophos;i="4.53,476,1272837600"; d="scan'208";a="53064481" Received: from mx1.imag.fr (HELO shiva.imag.fr) ([129.88.30.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Jun 2010 00:05:49 +0200 Received: from trottinette.imag.fr (trottinette.imag.fr [129.88.34.202]) by shiva.imag.fr (8.13.8/8.13.8) with ESMTP id o5OLvC8t019802 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 24 Jun 2010 23:57:12 +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 o5OM5iXM016909; Fri, 25 Jun 2010 00:05:44 +0200 Received: (from apache@localhost) by trottinette.imag.fr (8.13.8/8.13.8/Submit) id o5OM5iH1016908; Fri, 25 Jun 2010 00:05: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; Fri, 25 Jun 2010 00:05:44 +0200 Message-ID: <20100625000544.142418fa5cp6ye9k@webmail.imag.fr> Date: Fri, 25 Jun 2010 00:05:44 +0200 From: Florent Ouchet To: "Hezekiah M. Carty" Cc: 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> <20100624224944.91886zxkgzxq78iw@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.0.1 (shiva.imag.fr [129.88.30.5]); Thu, 24 Jun 2010 23:57:12 +0200 (CEST) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: o5OLvC8t019802 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: florent.ouchet@imag.fr MailScanner-NULL-Check: 1278021436.6023@PLdRUqN/3iy0Af7LIlxmMw X-Spam: no; 0.00; ocaml:01 ocaml:01 compiler:01 matchings:01 matchings:01 compilation:01 polluted:01 tima:01 belt:98 compile:01 caml-list:01 match:02 imag:02 groups:02 incomplete:03 "Hezekiah M. Carty" a =C3=A9crit=C2=A0: > The trailing _ in a record match is not required. It is allowed in > 3.12, and in combination with an optional warning flag it can be used > to check for incomplete record matches. Why is any preprocessing > needed? If an application is written to require OCaml 3.12.x or > later, why would you expect it to compile with an earlier version? Software development is not your perfect and ideal world. Would you =20 buy a brand new car because your current two-month-old car does not =20 have seat belt reminders? New warnings are almost the only =20 improvements I'm interested in 3.12. Sometimes you have to support old compiler versions (this choice is =20 not yours) and you need a complete confidence in all the thousands =20 record pattern matchings of your application, some of them (maybe 30%) =20 are intentionally left incomplete in order to keep the code as simple =20 as possible. Without preprocessing scripts, I will not be able to insert extra "_" =20 for masking intentionally-left-incomplete pattern matchings. The =20 compilation log will be polluted by hundred warnings (false-positive). =20 Finally, the catch of the few remaining should-not-be-incomplete =20 pattern matchings (true-positive) will be very hard. Anyway, I'm running out of arguments and the problem is still there... =20 I would have wasted less time in having the scripts setup than in =20 arguing here. --=20 Florent Ouchet PhD Student, CIS/VDS Groups TIMA Laboratory, Grenoble, France