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 B87B35D5 for ; Fri, 26 Jul 2019 02:14:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,308,1559512800"; d="scan'208";a="393366077" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jul 2019 04:14:17 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B518D82708; Fri, 26 Jul 2019 04:14:17 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 12A9D826D8 for ; Fri, 26 Jul 2019 04:14:12 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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=3AmaEZ+h1ptr6SQcjcsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIVIvad9pjvdHbS+e9qxAeQG9mCsbQU0KGL6ujJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmjaxe7B/IRu5oQjRq8UdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpsRxH1lS?= =?us-ascii?q?cHLCY5/3/LhcxsgqxbpxehqAZ+w47SfYqZMPVzc6fYcd4cWGFPXNteVzZZD42y?= =?us-ascii?q?b4UBEfcPM+VXoIbhulQBowCzBRWwCO711jNEmmX70bM83u88EQ/GxgsgH9cWvX?= =?us-ascii?q?rXttr1MroZXuO0zKnNyDXMcelW2TLn54jObxsspvCMXa5xcMfK10kgCRnFj1WK?= =?us-ascii?q?pYzhODOV0f8NvHaf7+tgT+6vjHQnqw5orzWp28wihI7JhocPxVDF8yV02Ic1Jd?= =?us-ascii?q?uiSE56e9GoCpVQtzuCO4tzRcMiRGZotDwmxb0BvJ62ejUBxpc/xxPHdvCKcYaF?= =?us-ascii?q?7gj9WOuRITp0nmxpdK+/ihqo8EWtzvXwW8i23VpQsyZIkNbBumoT2xHd5MWLUO?= =?us-ascii?q?Vx8lqj1DuJygvd8PtLIVoumqreM5MhwqA/lp4UsUnbAC/5hl/2ja+MekUg/eio?= =?us-ascii?q?7P/nbavipp6cLYN0jRv+Mqs2lsy+B+Q3LBQOUnCG9em+2rDv51P1TbVKg/EsjK?= =?us-ascii?q?XVrZDXKd4aq6O9GwNV15ws6xe7DzeoytQYmnwHIUpEeBKbjonkIE/OL+7iDfa/?= =?us-ascii?q?mVislDBrx/fdPrL/BpXMLmLPkLD7fbZy80Jc0hY8zchD55JIDbEMOO78VVX0tN?= =?us-ascii?q?zcFxM5Nw20w/37CNhmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7?= =?us-ascii?q?pnY8nRc4dKit3J0YbHGjArwyKEycZT/og8wdOWYMpAs3CuLw3g6sSzlWMle7We?= =?us-ascii?q?oO5zQ+BZijBIGLEoGxkpSf0T2qWJlRYXtLDkHKFm3nIdbXE8wQYT6fd5cy2gcP?= =?us-ascii?q?UqKsHtNwjE38hErB07Nia9Hs1GgAr5u6hIpr6vfC0xU18id5C9Xb1HuCHTktzz?= =?us-ascii?q?E4AgQu1aU6mnRTj1KK0Kx2mftdTIwB+f5TQ0E+MpnHwuhrTdfoVVCYJ4rbeBOd?= =?us-ascii?q?WtyjRAoJYJcxztsJOhYvBdi4n1bH2C2xDrsE0buRC85t/w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CYHQC0YDpd/0XX/61lhDAtQFIyKo0Zi?= =?us-ascii?q?BpDCwEBAQEBBQFTXxiBDohAkRkJAQMBDCMJAQIBAYcgHAYBBDQTAQMBAQQBAQI?= =?us-ascii?q?BAwMBbIUeDII6DINFNEcTIU6DNoF2FAUKrkyER0GDdIFIgTSEcoZtF3iBB4dCB?= =?us-ascii?q?IdCBJU5hyyODAmCHAOGVo0rDBuCLYclhAyKLoQhkGOQM4FnIYFYTTAIO4JsCYJ?= =?us-ascii?q?FF4NOgT6JNR8zAQGBBAEBjU4BAQ?= X-IPAS-Result: =?us-ascii?q?A0CYHQC0YDpd/0XX/61lhDAtQFIyKo0ZiBpDCwEBAQEBBQF?= =?us-ascii?q?TXxiBDohAkRkJAQMBDCMJAQIBAYcgHAYBBDQTAQMBAQQBAQIBAwMBbIUeDII6D?= =?us-ascii?q?INFNEcTIU6DNoF2FAUKrkyER0GDdIFIgTSEcoZtF3iBB4dCBIdCBJU5hyyODAm?= =?us-ascii?q?CHAOGVo0rDBuCLYclhAyKLoQhkGOQM4FnIYFYTTAIO4JsCYJFF4NOgT6JNR8zA?= =?us-ascii?q?QGBBAEBjU4BAQ?= X-IronPort-AV: E=Sophos;i="5.64,308,1559512800"; d="scan'208";a="393366061" X-MGA-submission: =?us-ascii?q?MDFszrFtSBQbznn9yW5KmTNbm8bI5uKswaW/jr?= =?us-ascii?q?Bgso5vVTa1wleZ3HTLLk/48eLKhC6SSFoJyFYO9/55scf2dvg57o4NIf?= =?us-ascii?q?Seigwe5gipM/qoXNyjlEuHfa0tNbgBU33V9q3MPOySP50dhjh/7iCck9?= =?us-ascii?q?M5BrfTTLWQ+9I0/AW3pougYw=3D=3D?= Received: from very.loosely.org ([173.255.215.69]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Jul 2019 04:14:11 +0200 Received: from c-67-174-233-217.hsd1.ca.comcast.net ([67.174.233.217]:33824 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 1hqpkG-0001Q1-VR; Thu, 25 Jul 2019 19:14:09 -0700 Date: Thu, 25 Jul 2019 19:14:01 -0700 From: Ian Zimmerman To: Caml Mailinglist Message-ID: <20190726021401.6u7mtlfy4exc756q@matica.foolinux.mooo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: NeoMutt/20180716 X-Loosely-ASN: 7922 Subject: [Caml-list] How to use ocaml.warning Reply-To: Ian Zimmerman X-Loop: caml-list@inria.fr X-Sequence: 17711 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: Hello, I wonder how to use the ocaml.warning attribute described here: https://caml.inria.fr/pub/docs/manual-ocaml-4.08/manual035.html#sec265 To describe my situation, I had a list l of int pairs which I could prove non-empty and I wanted to extract the first two ints. I wrote let (i, j) :: rest = l in ... and of course I got warning 8. So I got interested in ways to suppress the warning, and I read about the attributes which are new to me and made me curious :P I tried to insert [@ocaml.warning "-8"] at many points in the code -- before the "let", before and after the equal sign, and before "in" -- but none of these ways got rid of the warning. I gave up and used List.hd. But I am still curious about the intended or correct usage of the attribute feature. Thanks. -- 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.