From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D22B37EE7C for ; Wed, 27 Apr 2016 12:00:52 +0200 (CEST) IronPort-PHdr: 9a23:QjQ+9BzwLt4J0C/XCy+O+j09IxM/srCxBDY+r6Qd0OofIJqq85mqBkHD//Il1AaPBtWLraIdwLOP+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt6U3538jrn60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jJvBLaUAaUo1sRVH8X2jhPHhLJ5ReyCpX4uTLnu/E42CScJ8ywT7cpQzir6Y9tTwXtgSMKLCMhtmbNhZojorhcpUeNrhp+zorjShWTJv5/NvfRdNUbSG4HVNtcUT5FA6uxdZEGE+sYIOsepImr9AhGlge3GQT5XLCn8TRPnHKjmPRii+k= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CuAADEjCBXkEpWN0pevwGBdIYPAoFzEgEBAQEBAQEBEQEBAQEHDQkJIS+CLYIVAQEEIwRSEAsaAh8HAgJHEAYbiCIEsz2RMQEBAQcBAQEBARt8iXCEPYMAK4IrAQSYEI9oAYdaDoVXjzAnBIJNIIE3ihgBAQE X-IPAS-Result: A0CuAADEjCBXkEpWN0pevwGBdIYPAoFzEgEBAQEBAQEBEQEBAQEHDQkJIS+CLYIVAQEEIwRSEAsaAh8HAgJHEAYbiCIEsz2RMQEBAQcBAQEBARt8iXCEPYMAK4IrAQSYEI9oAYdaDoVXjzAnBIJNIIE3ihgBAQE X-IronPort-AV: E=Sophos;i="5.24,540,1454972400"; d="scan'208";a="175928773" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Apr 2016 12:00:51 +0200 Received: from [172.20.10.2] (94.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.234.94]) by smtp.webfaction.com (Postfix) with ESMTP id BB06F20C9E36; Wed, 27 Apr 2016 10:00:49 +0000 (UTC) Date: Wed, 27 Apr 2016 12:00:44 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Jacques-Henri Jourdan Cc: caml-list@inria.fr Message-ID: <4DF7CBF37BD9480C9F9EC992D51D254C@erratique.ch> In-Reply-To: <572089B8.8090207@normalesup.org> References: <572084CC.1080408@libertysurf.fr> <32C540F73D89478D9E6D2AF2599F639F@erratique.ch> <572089B8.8090207@normalesup.org> X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] ocaml 4.03 and warning 52 : argument of this constructor should not be matched against a constant pattern Le mercredi, 27 avril 2016 =C3=A0 11:43, Jacques-Henri Jourdan a =C3=A9crit= : > Or, with the new pattern matching with exception syntax : >=20=20 > match List.hd lst with > | exception Failure _ -> Printf.printf "empty list\n" > | hd -> ... When was that introduced again ? I'm now starting to move to 4.01 language-= wise.=20=20 Daniel =20=20=20