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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 25C4A7EEFA for ; Thu, 12 Nov 2015 10:33:26 +0100 (CET) IronPort-PHdr: 9a23:jbokVhJGrCoV4ABhKtmcpTZWNBhigK39O0sv0rFitYgUI/3xwZ3uMQTl6Ol3ixeRBMOAu68C07KempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lR8iK14ye7KObxd76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtLYqySlbuuog+shcSu26Ov1gFf0LRAghZk887tfquB2LdgCP62ERSC1CnRNCGQnI6FfhVZf8qCbgnuV40Siee8bxSOZndy6l6vIhcxjlhzsdMCZ9uETWgcx5gaYR6Eakphd/yoPQJpqSOfViZKTFVdIcWWdFGM1WUnoSUcuHc4ITAr9Zbq5jpI7nqg5L9EPmCA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga09.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.24 as permitted sender) identity=mailfrom; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mga09.intel.com) identity=helo; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga09.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ApAAB7XERWnBiIhoZehA5vBr42AQ2BZRmFdwIcgRo4FAEBAQEBAQEBEAEBAQEBBg0JCSEugi2CBwEBAQMBIxEVMAULAgEIGgIGIAICAjAVEAEBBA4NiB4HAbMKkHABAQEBAQEEAQEBAQEBAQEbgQGFVYR8hFsWgwQvgRUFlkgBjwGWeINyHwEBgmmBXXKENgGBBgEBAQ X-IPAS-Result: A0ApAAB7XERWnBiIhoZehA5vBr42AQ2BZRmFdwIcgRo4FAEBAQEBAQEBEAEBAQEBBg0JCSEugi2CBwEBAQMBIxEVMAULAgEIGgIGIAICAjAVEAEBBA4NiB4HAbMKkHABAQEBAQEEAQEBAQEBAQEbgQGFVYR8hFsWgwQvgRUFlkgBjwGWeINyHwEBgmmBXXKENgGBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,281,1444687200"; d="scan'208";a="187172151" Received: from mga09.intel.com ([134.134.136.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Nov 2015 10:33:18 +0100 Received: from orsmga001.jf.intel.com ([10.7.209.18]) by orsmga102.jf.intel.com with ESMTP; 12 Nov 2015 01:33:16 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,281,1444719600"; d="scan'208";a="818043854" Received: from irsmsx109.ger.corp.intel.com ([163.33.3.23]) by orsmga001.jf.intel.com with ESMTP; 12 Nov 2015 01:33:13 -0800 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.251]) by IRSMSX109.ger.corp.intel.com ([169.254.13.96]) with mapi id 14.03.0248.002; Thu, 12 Nov 2015 09:33:11 +0000 From: "Soegtrop, Michael" To: Gabriel Scherer CC: caml users Thread-Topic: [Caml-list] Suppress warning from within Ocaml source file Thread-Index: AdEdJwb3Jfykt2rpSMmx91QTIW1vHgAAuYsAAACK7hA= Date: Thu, 12 Nov 2015 09:33:10 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F509@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F4C5@IRSMSX102.ger.corp.intel.com> In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.181] Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Subject: RE: [Caml-list] Suppress warning from within Ocaml source file RGVhciBHYWJyaWVsLA0KDQo+IEkgd291bGQgYWdyZWUgdGhpcyB3YXJuaW5n IGlzIG9mIGRlYmF0YWJsZSB2YWx1ZTogd2FybmluZ3Mgc2hvdWxkIHByZXNz dXJlIHVzDQo+IHRvIG1ha2Ugb3VyIGNvZGUgKm1vcmUqIHJvYnVzdCB0byBl eHRlbnNpb24gYnkgYWRkaW5nIG5ldyBmaWVsZHMvdmFyaWFudHMsDQo+IG5v dCAqbGVzcyouDQoNCkkgdGFrZSB5b3VyIGFkdmljZSBhbmQgc2ltcGx5IGRp c2FibGUgdGhpcyB3YXJuaW5nIGZvciBhbGwgc291cmNlIGZpbGVzLg0KDQpK dXN0IEkgd29uZGVyIHdoeSBJIGhhdmUgdG8gY2FsbCBvY2FtbGJ1aWxkIHdp dGggLWNmbGFnIC1nIC1jZmxhZyAtdyAtY2ZsYWcgLTIzLiBGcm9tIHRoZSBv Y2FtbGJ1aWxkIGRvY3VtZW50YXRpb24gSSB3b3VsZCBleHBlY3QgdGhhdCAt Y2ZsYWcgLWcsLXcsLTIzIHNob3VsZCBhbHNvIHdvcmssIGJ1dCBpdCByZXN1 bHRzIGluIGEgdXNhZ2UgaW5mby4NCg0KQmVzdCByZWdhcmRzLA0KDQpNaWNo YWVsIA0KSW50ZWwgRGV1dHNjaGxhbmQgR21iSApSZWdpc3RlcmVkIEFkZHJl c3M6IEFtIENhbXBlb24gMTAtMTIsIDg1NTc5IE5ldWJpYmVyZywgR2VybWFu eQpUZWw6ICs0OSA4OSA5OSA4ODUzLTAsIHd3dy5pbnRlbC5kZQpNYW5hZ2lu ZyBEaXJlY3RvcnM6IENocmlzdGluIEVpc2Vuc2NobWlkLCBDaHJpc3RpYW4g TGFtcHJlY2h0ZXIKQ2hhaXJwZXJzb24gb2YgdGhlIFN1cGVydmlzb3J5IEJv YXJkOiBOaWNvbGUgTGF1ClJlZ2lzdGVyZWQgT2ZmaWNlOiBNdW5pY2gKQ29t bWVyY2lhbCBSZWdpc3RlcjogQW10c2dlcmljaHQgTXVlbmNoZW4gSFJCIDE4 NjkyOAo=