From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id EF2AB5D6 for ; Sat, 10 Aug 2019 05:19:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,368,1559512800"; d="scan'208";a="395010802" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Aug 2019 07:19:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 45D9F7ED21; Sat, 10 Aug 2019 07:19:26 +0200 (CEST) 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 779A77ED21 for ; Sat, 10 Aug 2019 07:19:22 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=Pass smtp.mailfrom=rixed@happyleptic.org; spf=Pass smtp.helo=postmaster@wout5-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3APYEqgRw/bjrMKhbXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OsQIJqq85mqBkHD//Il1AaPAdyBrasd26GH7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmjaxe65+IAi1oAnessQbjpZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?= =?us-ascii?q?wJNSM28HvPh8J3gq1UrxGvqB5xw4DaYI+bKudwcb/GcNMGWWZMRNpdWjZbD4+g?= =?us-ascii?q?aYYEEuoPPfxfr4n4v1YOtxq+BAayC+zy0TJIhmX53bUi0+UhFQHJwhQgH84PsH?= =?us-ascii?q?vIttn1M70SUe+zwaLVzjvDd+tb1Dby5YTSbxwsrvOBUahtfcbPx0QjDR3JgkiW?= =?us-ascii?q?pIf4JT2azP4NvHKe7+d4VeKglWonqwZprzmhwccsl5XJi4IMxlDf8CV53J41Kc?= =?us-ascii?q?e9SEFlet6kC4Ffty6bN4twTcMtXWdouCk7yr0Ap5G3ZjQFyJMixxLHavyHdZaH?= =?us-ascii?q?4g77WeuQLjp0nm9pdb29ihqo7ESs1OPxWtOq3FpXtiZFl8PDtnEJ1xzd8MiHTf?= =?us-ascii?q?5981+72TaO2AHc9PxLLFs0laXBM54h2r4xlp4NvkTbAi/2mVn5gLWRdkU+9eik?= =?us-ascii?q?8/7nban+pp+AK490jRnzPbg0lcy6BeQ0KwwOX2mA+eSgz7Dj5k34QLBSjvIsiK?= =?us-ascii?q?XZsZbaJd4apqGjGQNV3Jwj5hCiBDq41NQYgGIHLE5bdxKdkobpOlDPL+7gAPuj?= =?us-ascii?q?0ByQl2JgzvXCe7ngGYnlL37Zkb6nc6wuxVRbzV8pzMBS67pUA6kZMfb+QlPwv5?= =?us-ascii?q?rfFBBqYESP3+/7BYAlhcslUmWVD/rBaf6AgRqz/usqZtK0SsoVtTL6cKJ3+Pnz?= =?us-ascii?q?kSJ8gloBZe+s0IAMYX+5GPtrJUqYZ3eqidAEQz5T71gOCdfygVjHagZ9InO7Xq?= =?us-ascii?q?Yy/DY+Ud30DY7bXpGpjaSd3Sz9GYdZNDkfVgK8VEzwfoDBYM8iLTqIK5Y+wDwN?= =?us-ascii?q?TaCwT4I5yRCl8gjgxOg/Iw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AbBwBtU05dhxV7k0BmHgEGBwaBZ4NWA?= =?us-ascii?q?QExKo0ahimCD5sLCQEDAQwvAQGEPwKCYRwGAQQ0EwEEAQEEAQEEAQMHARMBAQE?= =?us-ascii?q?KCwkIKYUuDII6IoJuAQEBAQIBQAEBOAQLCxguLCuDO4F8D6pmgiSCegEBBYI9g?= =?us-ascii?q?1+BKgmBNIcLghSCRReBf4E4gms+hRGFFp0djiwJlkkhgiABlhileoFngXl9Qy6?= =?us-ascii?q?CPoJCGoNYhRSFQT0BAjCQDQEB?= X-IPAS-Result: =?us-ascii?q?A0AbBwBtU05dhxV7k0BmHgEGBwaBZ4NWAQExKo0ahimCD5s?= =?us-ascii?q?LCQEDAQwvAQGEPwKCYRwGAQQ0EwEEAQEEAQEEAQMHARMBAQEKCwkIKYUuDII6I?= =?us-ascii?q?oJuAQEBAQIBQAEBOAQLCxguLCuDO4F8D6pmgiSCegEBBYI9g1+BKgmBNIcLghS?= =?us-ascii?q?CRReBf4E4gms+hRGFFp0djiwJlkkhgiABlhileoFngXl9Qy6CPoJCGoNYhRSFQ?= =?us-ascii?q?T0BAjCQDQEB?= X-IronPort-AV: E=Sophos;i="5.64,368,1559512800"; d="scan'208";a="316059561" X-MGA-submission: =?us-ascii?q?MDFzdtmb4VKjnMI99ZmBpycGjsfbfSnhSgv46N?= =?us-ascii?q?qUbPZHSmL87ifGOGqXLrHhrHSk0D0ZBuYg2ar1JyZvBRgpKdxMvbRNbf?= =?us-ascii?q?KgNyy3BhrIBP042GteM4L/egk3YseqzMUdSWFizddS6vrbw7jaT9TZDm?= =?us-ascii?q?a75xVC/9pcbaiPFdAhiHZY5w=3D=3D?= Received: from wout5-smtp.messagingengine.com ([64.147.123.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Aug 2019 07:19:21 +0200 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id 577BC57D for ; Sat, 10 Aug 2019 01:19:17 -0400 (EDT) Received: from imap2 ([10.202.2.52]) by compute3.internal (MEProxy); Sat, 10 Aug 2019 01:19:17 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=happyleptic.org; h=mime-version:message-id:in-reply-to:references:date:from:to :subject:content-type; s=fm1; bh=gkPGUeT0dm5JT/iH5SBasyjEre/qlQX cLTfnUWufPZw=; b=dWjfiT/9Ka5wx7HbBXTvvC5VYOo7gsYwUr9SaaA2Bp0o6KU jn+u19Jx4bpS+K34d9All5Fd+IBHxVriQOQOnjTeFeRbd3zmKukCjvHO2IHjPkzs OZKaOVzzw7xGmTJ2gd8B7A+eKsWHKZ9tDJo0iDd0S3heKD91Qh/i6d5HdSiPL2v+ J8mfJv53BWlmwmDGktJimiFwOZFsN//4Yq44n0KFHQ5JqTSzqiajTDLcIbonFN8X cZ3yas0X2qNIzanljNrekwrIa4RZXRISBjoxVmmZmoKF2J7/iYMRVhWJ2+OSWqov ocodGBbhkI3mnGsqBVoeS92HvXn6xZRnHS5vVxA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=gkPGUe T0dm5JT/iH5SBasyjEre/qlQXcLTfnUWufPZw=; b=pfZGw9auADvU/IHuZMdYZ8 G7QgpUrZXvciVX3trtZ0Twr1koUZbDPFBTaBSrBNydPDfsoJHgczYwPD8Wphn7uJ 7ofX0AkFpyGG8oLhGVs9YFMPlD2wO2zXDqkom8itnYB+nEWLWm26rA8j1kF+OkEH EXnvQP825y/r6Jr8J6jX7sNs4pZhiI8cT4zfjQwfRrxonbcPiOzhncUyE3+k6/PV UYe2Y9jKagWK8uW50JgUYsfDMFOxUxNxNghNy76IVezpsPIw3qqogRhr8UFexqbR g05GE30e7eC3Nn4XXlFCogJ5Qflre8nKPRNsdWBWI0JSk7zUvp/t6KODKbpbqTeA == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduvddruddukedgleeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgggkfgjfhffhffvufgtsehttd ertderredtnecuhfhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorhhgnecu rfgrrhgrmhepmhgrihhlfhhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorh hgnecuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 1F399E00A2; Sat, 10 Aug 2019 01:19:16 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.6-809-g8e5c451-fmstable-20190809v1 Mime-Version: 1.0 Message-Id: <9f94936c-4e1a-42bb-bb72-ac9585e46b6b@www.fastmail.com> In-Reply-To: References: <20190809142719.ff4kogz4fq6r7vfr@annexia.org> Date: Sat, 10 Aug 2019 07:19:15 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Content-Type: text/plain Subject: Re: [Caml-list] Syntax puzzle / suggestion Reply-To: rixed@happyleptic.org X-Loop: caml-list@inria.fr X-Sequence: 17756 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: On Fri, Aug 9, 2019, at 16:48, Martin Riener wrote: > let [item1; item2] as all_items = ["hello"; "world" ] Nice! > Warning 8: this pattern-matching is not exhaustive. > Here is an example of a case that is not matched: > (_::_::_::_|_::[]|[]) let [item1; item2] as all_items = ["hello"; "world" ] [@@ocaml.warning "-8"]