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 7D7877EE87 for ; Wed, 27 Apr 2016 11:51:29 +0200 (CEST) IronPort-PHdr: 9a23:VYmI6RYBpxOxjG58vthz1C3/LSx+4OfEezUN459isYplN5qZpMy+bnLW6fgltlLVR4KTs6sC0LqG9fC5EjVZqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7D0q8SYOlwArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6t73AFT2gN1zpFBRLEpDP9Q439uy2y4uh00zCHMNazTb0yQzXk7aB2UhPhjg8BMCQ8+WXakdFoyqVBr0TyiQZ4xtvuZ4uYLuZ5No/cNfgdXm9GFpJLUCZMGJ+7R4cOBO0aOOEeqJPy8Qhd5SCiDBWhUbu8ggRDgWX7iOhji7ws Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rdicosmo@gmail.com; spf=Pass smtp.mailfrom=rdicosmo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f67.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.67 as permitted sender) identity=mailfrom; client-ip=74.125.82.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f67.google.com) identity=helo; client-ip=74.125.82.67; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wm0-f67.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BIAABRiiBXj0NSfUpehQixcod5AQ2JPjgUAQEBAQEBAQERAQEBAQcLCwkhL4ItghUBAQQSFRMGATgBAwwBBQUYCRoLDwUgAQUBASE1h3MDEqVrgTE+MY93h14nDYRhJAEFCgWECIEShUOHaIIrAQSTH4Rxjg2BWwGHWoVljXIwgQ4eAQF3gQGBAIE3aokuAQEB X-IPAS-Result: A0BIAABRiiBXj0NSfUpehQixcod5AQ2JPjgUAQEBAQEBAQERAQEBAQcLCwkhL4ItghUBAQQSFRMGATgBAwwBBQUYCRoLDwUgAQUBASE1h3MDEqVrgTE+MY93h14nDYRhJAEFCgWECIEShUOHaIIrAQSTH4Rxjg2BWwGHWoVljXIwgQ4eAQF3gQGBAIE3aokuAQEB X-IronPort-AV: E=Sophos;i="5.24,540,1454972400"; d="scan'208";a="175927008" Received: from mail-wm0-f67.google.com ([74.125.82.67]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Apr 2016 11:51:28 +0200 Received: by mail-wm0-f67.google.com with SMTP id w143so11167974wmw.3 for ; Wed, 27 Apr 2016 02:51:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=JYqS03P9LqFgxpCXHU0RhVxZuQ57onFe71iTn4+aKCw=; b=KNTP0ZQDDdsLuYHmdD7Elx6s0GX5+SC62DyQPgqZpPWAHCGI5sVcmvJ1EvYRzi2Vcg WME5FK5wSuTHjJ35V/6XRk6yz5o7juB6OGXdb5QhHLCFD5NjWOwLozcJVQo47oidTOQw 4u9uyfjDGtSXz04YnPFG8vNUjen4urD8PMUikek2K3gqKNBql/+YwmCLhKrVq8yc2D8z vEfXiMIHeRksYTE9mrnEiRqEyQaR+LxYncezTBc+mCcVY+ZeVQk/8HAc/MToNXQOCvYP D/7lHPTAphMzpyhqfQM6+HZmYcTV+vfTqWCHY+/4goDRgk8IVAWbNODcW/ncTkPLsW9n qG2g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:date:from:to:cc:subject:message-id :references:mime-version:content-disposition:in-reply-to:user-agent; bh=JYqS03P9LqFgxpCXHU0RhVxZuQ57onFe71iTn4+aKCw=; b=kvucge5dpYnvtWLLdCtsA6p+BRisTvAxWo1V2G3aCRRh5gd7UA1xcmbz+BHvy2F4nt zmG4n17/ItPaHbZvylC7EghIIWYTwA6/0H5Cc9wdVeBLeI00HJB9RvWF1XS9IVUwOjX2 3LVb2/GjhAeBiTR/a8t+NAuq+IPMmRXxgCESnrNq/uZ5NDYhr+LC4WUKdFMQTSNIIOU+ o9EaQQV6VmxSwBdF1w4/ibCSRkuNFXUiAbZof1H7L5BnK9YZvRudNrOmpjhlfGuk/mFx 1SWYMnt8TWX6H0wi4k82AVP2UgFV3AP8aqiWCdgMnVwuy+dIst6Xz7Q0SYzVSAgn1rKj rntQ== X-Gm-Message-State: AOPr4FVyPQQF2IOea+i9wnQuRBgvcgtbpSBWWCW0CTKSLDL0esImaKbzaP30q1Sc1re1Vg== X-Received: by 10.28.230.137 with SMTP id e9mr9291752wmi.0.1461750688281; Wed, 27 Apr 2016 02:51:28 -0700 (PDT) Received: from traveler ([134.157.22.164]) by smtp.gmail.com with ESMTPSA id b12sm25103603wmb.0.2016.04.27.02.51.27 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 27 Apr 2016 02:51:27 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.87) (envelope-from ) id 1avM7y-0008Cz-3R; Wed, 27 Apr 2016 11:51:26 +0200 Date: Wed, 27 Apr 2016 11:51:26 +0200 From: Roberto Di Cosmo To: Jacques-Henri Jourdan Cc: caml-list@inria.fr Message-ID: <20160427095126.GA31408@traveler> References: <572084CC.1080408@libertysurf.fr> <32C540F73D89478D9E6D2AF2599F639F@erratique.ch> <572089B8.8090207@normalesup.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <572089B8.8090207@normalesup.org> User-Agent: Mutt/1.5.24 (2015-08-30) Subject: Re: [Caml-list] ocaml 4.03 and warning 52 : argument of this constructor should not be matched against a constant pattern On Wed, Apr 27, 2016 at 11:43:20AM +0200, Jacques-Henri Jourdan wrote: > Or, with the new pattern matching with exception syntax : > > match List.hd lst with > | exception Failure _ -> Printf.printf "empty list\n" > | hd -> ... > Pretty cool! -- Roberto