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 ESMTP id 3F1FA1E5 for ; Fri, 26 Jul 2019 15:56:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,311,1559512800"; d="scan'208";a="393473217" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jul 2019 17:55:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D86E482706; Fri, 26 Jul 2019 17:55:58 +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 E5AC382706 for ; Fri, 26 Jul 2019 17:55:48 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-MR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AyR1LABL9JS5fr6PmDdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXKvj7rarrMEGX3/hxlliBBdydt6sezbqK+PG9EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCejbb9oLxi7ogrdu80WjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVQTlgz?= =?us-ascii?q?kbOTEn7G7Xi9RwjKNFrxKnuxx/2JPfbIWMOPZjYq/RYdYWSGxGUchMSixBGZu8?= =?us-ascii?q?YJUTAOodM+hYqIz9qEEPrRu4GAKgAOzixztNinLwwKY00fkuERve0QIgAdwArW?= =?us-ascii?q?jUotv2OqccU++1zbXHwzrMYP5NxTfy85LFfgw9rf2QX799d9fax0k1FwPCi1Wd?= =?us-ascii?q?sZTrPzKJ2eQKt2ic7fFgXv+2hW4ltQ5+vyKgzdoxh47MnIIe11fJ9SN4wIkpIt?= =?us-ascii?q?24TFR0YcW+HJtXtSGVKZZ5Tdk4T25zoik60KYLuZqlcykFyZQnyR/fZ+abfIiP?= =?us-ascii?q?5xLuTeCcKip2inJifbKwnRey8U64x+34SMa131dKriREktXWqn8N0BnT5tCCSv?= =?us-ascii?q?t6+Ueh3iyD2BzU6uFBJ00/iKnVK4Y5z7M/ipYfq1nPEjP0lUnsiKKabFgo9vaq?= =?us-ascii?q?5uj/fLnqupuRO5V3hwz+KKgih82yDOYiPgUBX2WX4eq826Pg8EHlRbhHi/M2nb?= =?us-ascii?q?XFvJ3UIMkWorO1DgFI3osm6BuzEzOr3dQdkHUaMl1IdhOKgo70MF/UOv/4F+2w?= =?us-ascii?q?g1G0nTdr2f/GOrrhD43NIHbfjLrtYatx51dbxgQv09xT/pVUBaofL/7pXU/xqc?= =?us-ascii?q?DYAQQ+MwypxeboFc9x1psEWWKIHq+WLr/dsUOJ5uIoJemAfogVuCvhK/gh4P7u?= =?us-ascii?q?inw5lUUBcqmu2JsbcHG4HvJ4LEWFeXfhjcsNHX0XsgYiTuHmklmPXSROa3qsXa?= =?us-ascii?q?8w/jQ7B5inDYfHSICtmruB3CKjE51QZ2BJFleMEXPyeIWfQfsMbyCSLdF8nTMe?= =?us-ascii?q?T7SuUJUu1Qu1uQ/+1bVmIevU+iMZtZ75yNd14OjTmQko9TNoF8Sdz32NT2Zsk2?= =?us-ascii?q?wUXTA22aR/rVV5yleCyqh4n+dVFcdT5vNMSgc1L4TQz+18C9DoWwLOZM2FSFi8?= =?us-ascii?q?QobuPTZkb9s3i+0PZkNwAdCriFiX3ja4K6EYja3NAJsz6a/Yzj72PckrmFjc06?= =?us-ascii?q?x0qVgtRc/GLiWBhKNz/kD5i5SBx0OYnKGufL9a2yzA+G7Fx2OUlEVVQA9+UOPO?= =?us-ascii?q?WnVJNRielsjw+k6XF+zmMr8gKAYUjJPbc/YYWpjSlVxDAczbFpHebma2xzjiKy?= =?us-ascii?q?yhnurJSbCwPmIX0WPaFVQOlB0V8TCeLw8iCyy9omXYSjtzCVboZECq+u57+iri?= =?us-ascii?q?Eh0EijqSZkgk7IKbvwYPjKXGGfcezrMKuWEqrDAmRA/sjeKTMMKJok9aRIsZZN?= =?us-ascii?q?o85Fld0meA7V55M4yhIaEkjVkbIV16?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BkAAAhIjtdh38JayhlHgEGBwaBVAgLA?= =?us-ascii?q?YFDUHByAwQLKgqEFINHA4Uyh052gWWIMYIea41HgSQDVAkBAwELARsSAgEBhEA?= =?us-ascii?q?CF4JnBgEEMQgOAQMBAQQBAQIBAwMBEwEBAQgNCQgphSUMgjopgmgBAQEDEhERD?= =?us-ascii?q?AEBLAsBDwIBCAsDCgICJgICAiAQFRACBA4FIoMAAYFqAx0BAqBgAoE4iF8BAXC?= =?us-ascii?q?BMoJ6AQEFhQcYgQyBBwmBDCiHboRrgRyEIz6ERBeCdIJYjn6FIpZZBwKCHIF6h?= =?us-ascii?q?F+NNxuCLocljjqEIaBvAgQCBAUCDgEBBYFRAYIOcFAxBoI1CYI5GoIogS+KU0E?= =?us-ascii?q?xAYEojDUBgSABAQ?= X-IPAS-Result: =?us-ascii?q?A0BkAAAhIjtdh38JayhlHgEGBwaBVAgLAYFDUHByAwQLKgq?= =?us-ascii?q?EFINHA4Uyh052gWWIMYIea41HgSQDVAkBAwELARsSAgEBhEACF4JnBgEEMQgOA?= =?us-ascii?q?QMBAQQBAQIBAwMBEwEBAQgNCQgphSUMgjopgmgBAQEDEhERDAEBLAsBDwIBCAs?= =?us-ascii?q?DCgICJgICAiAQFRACBA4FIoMAAYFqAx0BAqBgAoE4iF8BAXCBMoJ6AQEFhQcYg?= =?us-ascii?q?QyBBwmBDCiHboRrgRyEIz6ERBeCdIJYjn6FIpZZBwKCHIF6hF+NNxuCLocljjq?= =?us-ascii?q?EIaBvAgQCBAUCDgEBBYFRAYIOcFAxBoI1CYI5GoIogS+KU0ExAYEojDUBgSABA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.64,311,1559512800"; d="scan'208";a="314837983" X-MGA-submission: =?us-ascii?q?MDHmMMSQaDz9xSCCO17j7mmW6M6pjGIvUANVaT?= =?us-ascii?q?w/ZhtyqEcH3x76fxPDiVikEjkvSSVd90CTomn676v5dN+Mn6RJpoH78n?= =?us-ascii?q?NO6ZvqSVAMm9ApndD8odSXjiEWemvvSxUBWAJYErqXjNLObJMg01WHLK?= =?us-ascii?q?y4LviQ4B5seNdJl9VNC+kQPg=3D=3D?= Received: from mail-eopbgr90127.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.127]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 26 Jul 2019 17:55:26 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=iSRXRfl2U3PevmkXrXE5RRPeD7t5Ge+dIpzAv10v4ROawvecTGsSqDILw3mhZTEe+2AXoiYdEoDocT8Mkw7eIVhHbMBohx2no2Sah/QHYl20fyZxjsXpmJszQ1d48DNgaD1U7HC2w6CI8NM91q3DDWvDfKXqHrz/6NkNaQcrKi3BtCt6pLFd1PPlhIjEhVQqWDdpYZQJa1H8Oq/DaRQ4rMPnFXXNhxKNz/HyWYE3UEvaSmbxus3nJAL9LJckbhnWKgUvJFWjtQH/+X6J0ITrFXC3tDjbi3Fvb4OMT28SiHAxLzAVQGtopTFBZumig9oTbniONdiB2IRoiFOHzSWRMw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=2bhhX6LsYsyfDforoI+Cq+WdC2X6Vag6YMLZfmZHGII=; b=Bl77R4qGcJ8geMVY40lR4y3Pqg+CAatUVUyKaJyg+irgW7rKzHERK1ixamJHcbfcwCQpVay4/A3qN64nn93mj6UMEhdnfuVMmC9j1WHybHYt9BAvUYDXPp7+BO7IK9GxH6bZAzfSiOWPFA6yIcJTESV15ltTCKizmeKhARj5/NwYoobT2jRi3AgLfeRE2yGhyNISS4/XN2DDD5qIktFIaW+T2uLZgTpMHpCWYbOqJsH64OOmkWfN/EtbfA3P4bmEHETpO959gzR2dklOQZR4E90iZwUsStz7hWdSQsRhZRBKc+b6+wtzv4B+OsZWzP0TpU3osy/H3yjyb6N1RYsCgQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1;spf=pass smtp.mailfrom=lexifi.com;dmarc=pass action=none header.from=lexifi.com;dkim=pass header.d=lexifi.com;arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector2-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=2bhhX6LsYsyfDforoI+Cq+WdC2X6Vag6YMLZfmZHGII=; b=CsjHQxgdocqWh/9bb+JvZ4VAO+5P4zsfy90lhIksxDcnef7q6IufV3fbguI4Di+FTd1mJll9WRoY+u2ZRgCiWyirr/B4XZtNcNQqUiM/XyvZv93bnGkZkllOCl0kpJcuDQeddBbVj3vELTo6nNOu0GPP86MOoK+scwxiQClIfhQ= Received: from PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM (52.133.68.14) by PR0P264MB0170.FRAP264.PROD.OUTLOOK.COM (52.133.69.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2115.13; Fri, 26 Jul 2019 15:55:24 +0000 Received: from PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM ([fe80::fc03:9131:8095:1e36]) by PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM ([fe80::fc03:9131:8095:1e36%4]) with mapi id 15.20.2115.005; Fri, 26 Jul 2019 15:55:24 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: Ian Zimmerman CC: OCaml Mailing List Thread-Topic: [Caml-list] How to use ocaml.warning Thread-Index: AQHVQ1fW3miVRNHJEU6A9DAZqAatvabcUMkAgAC80oCAAAC2AA== Date: Fri, 26 Jul 2019 15:55:24 +0000 Message-ID: References: <20190726021401.6u7mtlfy4exc756q@matica.foolinux.mooo.com> <20190726155237.pnzqneafrpsbssrt@matica.foolinux.mooo.com> In-Reply-To: <20190726155237.pnzqneafrpsbssrt@matica.foolinux.mooo.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1P18901CA0023.EURP189.PROD.OUTLOOK.COM (2603:10a6:3:8b::33) To PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:8::14) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAVEJjEGaICIPLEVkp9Kf+kbeDlQqL6eWyq9dz5jpJFI2TISilAf Swgah9cuqQsJpQMo9gM29pgwebw5+di0r/GM6qM= x-google-smtp-source: APXvYqzBrZ4sMjDCaex2ZRKQ1azix7UHDnjvMD/OWUT+YBzb5ciizr23Gj/qE/k4L8SjJCl3ZcMaVAL4xDnsiWfXTFk= x-received: by 2002:ac2:44b1:: with SMTP id c17mr33944515lfm.87.1564156521700; Fri, 26 Jul 2019 08:55:21 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.167.45] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 217af84e-9e03-4371-08dd-08d711e1ab97 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:PR0P264MB0170; x-ms-traffictypediagnostic: PR0P264MB0170: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 01106E96F6 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(136003)(42606007)(39840400004)(366004)(396003)(346002)(376002)(189003)(199004)(386003)(11346002)(476003)(102836004)(446003)(6246003)(486006)(66946007)(229853002)(305945005)(6486002)(186003)(99286004)(76176011)(26005)(316002)(52116002)(7736002)(53546011)(64756008)(66556008)(66476007)(25786009)(6506007)(53936002)(6862004)(86362001)(71190400001)(4326008)(14444005)(66574012)(66446008)(71200400001)(256004)(966005)(8936002)(508600001)(6116002)(6436002)(6512007)(9686003)(14454004)(85182001)(5660300002)(85202003)(8676002)(498394004)(81166006)(81156014)(2906002)(6306002)(61726006)(61266001)(66066001)(95326003)(55446002)(5024004)(68736007)(3846002);DIR:OUT;SFP:1102;SCL:1;SRVR:PR0P264MB0170;H:PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: p5U7JnBdToQfj0ec4QlrwzKQ5x5l4UsNUj6Cfb61kUjQUreNBfRNkLW94WCtE4soKas6kW8MH7R3fOiB8dglMltQprnIX9ocbXp0DlRKzKfBmRndlnQhd7nxR1d5norbnQq18/v4PC02vh4VGkKM3rN+kKYnCnqLJ0Bb9EKz7I2q6DiwyhieBLU8zs/wLSbWpIJY9G4PG9+8AaQzxPqHrPhcuVYu1JAIQL4opeJrLcjaeuP8OMMhhYiaIt7tuZ3TDaDr6cQGAW8fIwPrq3nkqhBFRznj6Vb11InAdy/9KUuHVkBWpfKqG8sUD9laFhPnZCzowe2nv0fFi++YEs3kdWZzgnATuui+/xnfrDceKCNrlG1JiGyH6wThyx6l4cfs2WrPoBvWr8kK4JfbXmlN9/1czHNQ8TbcXEyeHtNJfcQ= Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 217af84e-9e03-4371-08dd-08d711e1ab97 X-MS-Exchange-CrossTenant-originalarrivaltime: 26 Jul 2019 15:55:24.1489 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: nicolas.ojeda.bar@lexifi.com X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR0P264MB0170 Subject: Re: [Caml-list] How to use ocaml.warning Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17716 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: SGkgSWFuLA0KDQpPbiBGcmksIEp1bCAyNiwgMjAxOSBhdCA1OjUzIFBNIElhbiBaaW1tZXJtYW4g PGl0ekB2ZXJ5Lmxvb3NlbHkub3JnPiB3cm90ZToNCj4NCj4gT24gMjAxOS0wNy0yNiAwNDozNywg Tmljb2zDoXMgT2plZGEgQsOkciB3cm90ZToNCj4NCj4gPiBJbiB0aGlzIGNhc2UsIHlvdSB3b3Vs ZCB3YW50IHRvIGF0dGFjaCB0aGUgd2FybmluZyB0byB0aGUgImxldCIgYmluZGluZzoNCj4gPg0K PiA+ICAgICBsZXRbQHdhcm5pbmcgIi04Il0gKGksIGopIDo6IHJlc3QgPSBsIGluIC4uLg0KPiA+ DQo+ID4gRXF1aXZhbGVudGx5LCB5b3UgY2FuIHVzZSBhIHBvc3RmaXggZm9ybToNCj4gPg0KPiA+ ICAgICBsZXQgKGksIGopIDo6IHJlc3QgPSBsIFtAQHdhcm5pbmcgIi04Il0gaW4gLi4uDQo+ID4N Cj4gPiBZb3UgY2FuIGFsc28gYXR0YWNoIHRoZSBhdHRyaWJ1dGUgdG8gdGhlIHdob2xlICJsZXQi IGV4cHJlc3Npb246DQo+ID4NCj4gPiAgICAgKGxldCAoaSwgaikgOjogcmVzdCA9IGwgaW4gLi4u KSBbQHdhcm5pbmcgIi04Il0NCj4gPg0KPiA+IEluIHRoaXMgY2FzZSwgdGhlIHdhcm5pbmcgaXMg YWxzbyBkaXNhYmxlZCBpbiB0aGUgYm9keSBvZiB0aGUgImxldCINCj4gPiBleHByZXNzaW9uLg0K PiA+DQo+ID4gR29pbmcgb25lIHN0ZXAgZnVydGhlciwgeW91IGNhbiBkaXNhYmxlIHRoZSB3YXJu aW5nIG9uIGEgd2hvbGUgc2VjdGlvbg0KPiA+IG9mIGEgZmlsZSBieSB1c2luZyBhICJmbG9hdGlu ZyIgZm9ybSBvZiB0aGUgYXR0cmlidXRlOg0KPiA+DQo+ID4gICAgIFtAQEB3YXJuaW5nICItOCJd DQo+ID4gICAgIC4uLg0KPiA+DQo+ID4gSW4gdGhpcyBjYXNlLCB0aGUgd2FybmluZyB3aWxsIGJl IGRpc2FibGVkIGZvciBhbnkgaXRlbSBhcHBlYXJpbmcNCj4gPiBhZnRlciB0aGUgYXR0cmlidXRl Lg0KPg0KPiBUaGFua3MuICBCdXQgdGhlIG1hbnVhbCBzYXlzICJvY2FtbC53YXJuaW5nIiwgbm90 ICJ3YXJuaW5nIi4gIFdoYXQgYW0gSQ0KPiBtaXN1bmRlcnN0YW5kaW5nPw0KDQpBY3R1YWxseSBi b3RoIG5hbWVzIGFyZSByZWNvZ25pemVkLiBUaGUgbG9uZyBuYW1lIG9jYW1sLndhcm5pbmcgaXMg dG8NCmJlIHByZWZlcnJlZCB3aGVuIHRoZXJlIGlzIGRhbmdlciBvZiBzaGFkb3dpbmcgKHNheSwg YnkgYSBwcHgNCnByZXByb2Nlc3NvcikuDQoNCkJlc3Qgd2lzaGVzLA0KLS0NCk5pY29sw6FzIE9K RURBIELDhFINCm5pY29sYXMub2plZGEuYmFyQGxleGlmaS5jb20NCmh0dHBzOi8vd3d3LmxleGlm aS5jb20NCg0KPiAtLQ0KPiBQbGVhc2UgZG9uJ3QgQ2M6IG1lIHByaXZhdGVseSBvbiBtYWlsaW5n IGxpc3RzIGFuZCBVc2VuZXQsDQo+IGlmIHlvdSBhbHNvIHBvc3QgdGhlIGZvbGxvd3VwIHRvIHRo ZSBsaXN0IG9yIG5ld3Nncm91cC4NCj4gVG8gcmVwbHkgcHJpdmF0ZWx5IF9vbmx5XyBvbiBVc2Vu ZXQgYW5kIG9uIGJyb2tlbiBsaXN0cw0KPiB3aGljaCByZXdyaXRlIEZyb20sIGZldGNoIHRoZSBU WFQgcmVjb3JkIGZvciBuby11c2UubW9vby5jb20uDQo=