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 756421E5 for ; Fri, 26 Jul 2019 15:53:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,311,1559512800"; d="scan'208";a="393472856" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jul 2019 17:52:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0476082716; Fri, 26 Jul 2019 17:52:53 +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 375EA826D8 for ; Fri, 26 Jul 2019 17:52:47 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz@very.loosely.org; spf=Pass smtp.mailfrom=itz@very.loosely.org; spf=Pass smtp.helo=postmaster@very.loosely.org IronPort-PHdr: =?us-ascii?q?9a23=3APWi5ZxGgz7kNUu92EJOMB51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zp8uwAkXT6L1XgUPTWs2DsrQY0rCQ4/yrCDBIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfK1+IA+1oAjeucUbhYRvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1jy?= =?us-ascii?q?gJKiM58HrPisNukK1bvByvpxt6w4HOYYGVMud1cqfScN4eQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YBAeoPM/hFoYf+qVsBogexChSjCuztxDBFnWP20K4g3ug9DQ3LxhEsEtQTu3?= =?us-ascii?q?rUttX1M6ISXPi2wqbSyzXIcvBZ2Tb46IjNbB8hu/SMUqh2ccHMzkQvFh/Fj1SL?= =?us-ascii?q?pIz7ITyVzOQMv3Kf7+pnUuKvkHAoqwVxozS1wccskIbJi5sTx1vZ+yt5x4M1Ks?= =?us-ascii?q?e5SE59edOkFZxQtyadN4dsXswiRGRotSAnwbMFoZ62ZDUGxZYpyhLFdfCKc4iF?= =?us-ascii?q?7gj9WOqMITp0nnNodbanixuz80Ws0PDwW8u73VpQsCZInNfBumoT2xDO6MWKTO?= =?us-ascii?q?Z28F271jaVzQ/T7/lJIUAqmqrfLJ4s2qAwmYQJsUXDBCP2nEL2jKiNdko6/uip?= =?us-ascii?q?6/7rYrL8pp+TL4N0iwf+PboymsGnHOg1MAYDU3KF9em81LDv51P1TKhKg/Esk6?= =?us-ascii?q?TUtIjWJcEBqa64Bw9V3Jwj6xG6Dzq+0dQYgXgGIUlbeB2ZlYjoO0vCIPT/Dfe4?= =?us-ascii?q?mFSjjjNrxvDcMr3mGJXNIWDPkK39crZl905c1A0zwMhD6J1OD7EBJOv/WkvwtN?= =?us-ascii?q?zDEh80KBe0wubiCNVlzIwSQ2OPAqmDMKPTq1CE/OwvI/PfLLMS7T30Lvxg4//1?= =?us-ascii?q?kVc4n0UcdO+nx8g5cne9S9VvJQ2rYH/pj80EGGFC6gsiXsT0hUeTFzpUYG2/W7?= =?us-ascii?q?N64Ss0XtH1RbzfT5yg1eTSlBywGYdbMzwXUw3eITLTb4yBHsw0RmeSL8tmy2xW?= =?us-ascii?q?S7W7Wskl0ha1uQvrjb19IbiNo3xKhdfYzNFwotbru1Q3/D1wAd6a1jjdHX95hH?= =?us-ascii?q?JOQzgxx617sAp60FjRiPEk0cwdLsRa4rZyail/LYTVlrwoFd3oS0TFedCSRVK3?= =?us-ascii?q?BNK8DmNpQw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3XQDVIDtd/0XX/61lghmCFy1AUjIqj?= =?us-ascii?q?RqIGUMQBQFTXwQUgQ6IQJEaCQEDAQwbEQECAQGEQAKCYhwGAQQzBg4BAwEBBAE?= =?us-ascii?q?BAgEDAwFshR4MgjoMgwUBBAEyATsQCwshExIPSIM8gXYFDwWtGoh1gUiBNIdug?= =?us-ascii?q?3EXeIEHhCM+hRGFFgSVOpU7CYIchlmNKwwbgi6HJY46hCGhF4FmIoFYTTAIO4J?= =?us-ascii?q?sCYYqinMfM4EGAQGNdwEB?= X-IPAS-Result: =?us-ascii?q?A0D3XQDVIDtd/0XX/61lghmCFy1AUjIqjRqIGUMQBQFTXwQ?= =?us-ascii?q?UgQ6IQJEaCQEDAQwbEQECAQGEQAKCYhwGAQQzBg4BAwEBBAEBAgEDAwFshR4Mg?= =?us-ascii?q?joMgwUBBAEyATsQCwshExIPSIM8gXYFDwWtGoh1gUiBNIdug3EXeIEHhCM+hRG?= =?us-ascii?q?FFgSVOpU7CYIchlmNKwwbgi6HJY46hCGhF4FmIoFYTTAIO4JsCYYqinMfM4EGA?= =?us-ascii?q?QGNdwEB?= X-IronPort-AV: E=Sophos;i="5.64,311,1559512800"; d="scan'208";a="314837746" X-MGA-submission: =?us-ascii?q?MDG4X2MinNXG8AWZuFGPNeTPUs1ribntCwpXiX?= =?us-ascii?q?rRE5SbQgZNcZj3wuGDR65+FfLUpjwidJDtOHkkDHeMqnJb3gQia02Fhj?= =?us-ascii?q?Ez/8pyAzjHwvbfIgrkJ0bVppwzfrkKARFypGvuJ+adWIkq3tRRgMSd3g?= =?us-ascii?q?BV0ecsLxb3RSAIUI/d21FdQw=3D=3D?= Received: from very.loosely.org ([173.255.215.69]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Jul 2019 17:52:46 +0200 Received: from c-67-174-233-217.hsd1.ca.comcast.net ([67.174.233.217]:41856 helo=foolinux.mooo.com) by ahiker.mooo.com with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92-114-9dcbe0535) (envelope-from ) id 1hr2WR-0001pN-8E; Fri, 26 Jul 2019 08:52:43 -0700 Date: Fri, 26 Jul 2019 08:52:37 -0700 From: Ian Zimmerman To: caml-list@inria.fr Message-ID: <20190726155237.pnzqneafrpsbssrt@matica.foolinux.mooo.com> References: <20190726021401.6u7mtlfy4exc756q@matica.foolinux.mooo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: NeoMutt/20180716 X-Loosely-ASN: 7922 Subject: Re: [Caml-list] How to use ocaml.warning Reply-To: Ian Zimmerman X-Loop: caml-list@inria.fr X-Sequence: 17715 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 2019-07-26 04:37, Nicolás Ojeda Bär wrote: > In this case, you would want to attach the warning to the "let" binding: > > let[@warning "-8"] (i, j) :: rest = l in ... > > Equivalently, you can use a postfix form: > > let (i, j) :: rest = l [@@warning "-8"] in ... > > You can also attach the attribute to the whole "let" expression: > > (let (i, j) :: rest = l in ...) [@warning "-8"] > > In this case, the warning is also disabled in the body of the "let" > expression. > > Going one step further, you can disable the warning on a whole section > of a file by using a "floating" form of the attribute: > > [@@@warning "-8"] > ... > > In this case, the warning will be disabled for any item appearing > after the attribute. Thanks. But the manual says "ocaml.warning", not "warning". What am I misunderstanding? -- Please don't Cc: me privately on mailing lists and Usenet, if you also post the followup to the list or newsgroup. To reply privately _only_ on Usenet and on broken lists which rewrite From, fetch the TXT record for no-use.mooo.com.