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 37F551E6 for ; Thu, 6 Jun 2019 11:34:35 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,559,1557180000"; d="scan'208";a="386274757" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jun 2019 13:34:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 12579826E3; Thu, 6 Jun 2019 13:34:34 +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 83E5F8247D for ; Thu, 6 Jun 2019 13:34:26 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AJjTYHBN261l7nuCB/cwl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/n9rarrMEGX3/hxlliBBdydt6sdzbOK7+u8ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagfL9+Ngi6oAreu8UZjoZuNrs6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?ocKTU37H/YhdBxjKJDoRKuuRp/w5LPYIqIMPZyZ77Rcc8GSWZEWMtaSi5PDZ6m?= =?us-ascii?q?b4YXD+QPI/tWr5XzqVUNoxuxBwisC//gxDBHnXL2wbY13v49HQ3awAAtHdQDu2?= =?us-ascii?q?nUotXvM6cSVPi4wrHJzTrfaPNW3TX66JPVeR44o/GDQ69/ftDMwkQyEgTFlEib?= =?us-ascii?q?pIvjPzOUyusNtGyb4PB7Ve61jG4nqR9+rSW1ycs2kYbGnJgVx0vA9Spnz4c1JN?= =?us-ascii?q?O4SE9hbdG4F5tQsjiXOo1rSc0hW2FloCk3xqEctZKmYCQHyo4rywPBZ/CdboSE?= =?us-ascii?q?/BLuWP6PLTtkgH9pYrGyihao/US+1uHxVdO43EtIoydBitXMuG4C2h/P5sWCT/?= =?us-ascii?q?Zw+lqu1DWA2g3W7uxLPU45mKveJpE/37I8ipQevEHdESL5lkX7jKmbfVg+9Oey?= =?us-ascii?q?8eToeLDmq4ecN4BqjgH+NbwjlMyjD+kkLgQCQnGX9/6g2rH95EH5R65FgeMsnq?= =?us-ascii?q?nerZDaOd8UpqmkAw9Tz4kv8Q6/Dy2h0NQEg3YIME5FeBOAj4jvIV3OJ+34Deu7?= =?us-ascii?q?g1SrlzdrxOrKMaHmApXINnTDkbHhcqhh60NExwc/0cpT649IBrwDOv7/R1H9uM?= =?us-ascii?q?bFAhMnMwG42+PnB8981oMaV2KPGKiZMKbKvF+O5+IgP+6MZIsPtzbmMfQl4Pzu?= =?us-ascii?q?gmEkllAHZ6WmxoEYaGqjE/RiPUqYbnvsgtkAEWsQogU+S+nqhEWYUTFPf3ayQ7?= =?us-ascii?q?485jYjBY26F4jDQ4StjKWF3Ce6BZ1WentLCkuMEHftb4WLQe0AaCOUIs97kzwL?= =?us-ascii?q?T6KtS4E71ULmiAiv7rN9LffPsgAcu4ji0tc9s8jajxIv7npZC8qH0meCZ355lC?= =?us-ascii?q?UESmll8rp4pBlby1yE1SFjy9taGNBar9nFSE9uM5/XyOhzEJb1WA/Nd5GDQUyO?= =?us-ascii?q?Rti2AD8wCNk2xoldMA5GB9y+g0WbjGKRCLgPmunOXcRsq/6O7z3KP894jk3++u?= =?us-ascii?q?w5lVB/GJlLOH2niK85/A/WVdaQwhep0p2yfKFZ5xbjsWKKzG6ApkZdCVQiVajV?= =?us-ascii?q?XH4eIEDRqIagvx6Qf/qVEb0idzB554uCJ69NNoK7o29vHK6mAO6EJmW7liG3GA?= =?us-ascii?q?qCwa6KYMzyYWIB0S7BCU8C1QcO4XKBMgt4DSCk8TvT?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A3AgC++fhch30MayhlHgEGBwaBVAYLA?= =?us-ascii?q?QGBPFCBYgQLKAqECoNHA4UxiSxzgWSKPmqEAopZA1QJAQMBCwEtAgEBhEACF4J?= =?us-ascii?q?oBgEEMwYOAQMBAQQBAQIBAQMBEwEBAQgNCQgpIwxCFgGBYSkBgmcBAQQSEREMA?= =?us-ascii?q?QE3AQ8CAQYCCw0CAiYCAgIgEBUFCwIEDgUigwCBawMdAQKKepBgAoE4iF4BAXC?= =?us-ascii?q?BMYJ5AQEFhH4YCn6BBwmBDCgBhG2HZ4EchCM+hEszglCCWI4imncHAoIQgXaRR?= =?us-ascii?q?huCEwGUcC2jEQIEAgQFAg4BAQWBZYF6cFAxBoI1gg8ag1aKU0ExgSmMD4FAAYE?= =?us-ascii?q?gAQE?= X-IPAS-Result: =?us-ascii?q?A0A3AgC++fhch30MayhlHgEGBwaBVAYLAQGBPFCBYgQLKAq?= =?us-ascii?q?ECoNHA4UxiSxzgWSKPmqEAopZA1QJAQMBCwEtAgEBhEACF4JoBgEEMwYOAQMBA?= =?us-ascii?q?QQBAQIBAQMBEwEBAQgNCQgpIwxCFgGBYSkBgmcBAQQSEREMAQE3AQ8CAQYCCw0?= =?us-ascii?q?CAiYCAgIgEBUFCwIEDgUigwCBawMdAQKKepBgAoE4iF4BAXCBMYJ5AQEFhH4YC?= =?us-ascii?q?n6BBwmBDCgBhG2HZ4EchCM+hEszglCCWI4imncHAoIQgXaRRhuCEwGUcC2jEQI?= =?us-ascii?q?EAgQFAg4BAQWBZYF6cFAxBoI1gg8ag1aKU0ExgSmMD4FAAYEgAQE?= X-IronPort-AV: E=Sophos;i="5.63,559,1557180000"; d="scan'208";a="386274709" X-MGA-submission: =?us-ascii?q?MDGl0avm0tVXhOoqZhhme8eFwzCDzNOQdKLgY7?= =?us-ascii?q?RiUC9m2T6WM98nx2IOwHCK0due68j4IXjXkFxXg2CHsJP8NgcCt7eYct?= =?us-ascii?q?nKL0d5nLBN6pYTvY4No41Vyfg2I2H2kzoDSGxpmIWw24fWwmKYoldRKZ?= =?us-ascii?q?p0vFXFPZ0rQOOEw+ZehOkh1g=3D=3D?= Received: from mail-eopbgr120125.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.125]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 06 Jun 2019 13:34:25 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector1-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Y/jfIFzmfTVSBMFn1Qw5Nxc0CsDsKmvOvDSbbQiwH+o=; b=trsymAdbvA278YznSW3rwrIz4+T7xoKSmF/vS+kO6Fi4ugvyPzpcYPz+W/2diCxGxJQaBVlo4cG5rgfMFiTuY2dAz+idfNjMlP+Lw5pdffo1/O3wBnpbeGSX6vlCKMTba6fd5Tvg4KzY9ZZmmczbY39iMNNWZ/351PNHXAEC5UU= Received: from MR2P264MB0068.FRAP264.PROD.OUTLOOK.COM (52.134.34.144) by MR2P264MB0209.FRAP264.PROD.OUTLOOK.COM (52.134.37.23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1965.12; Thu, 6 Jun 2019 11:34:25 +0000 Received: from MR2P264MB0068.FRAP264.PROD.OUTLOOK.COM ([fe80::9d84:9c36:e103:e4f5]) by MR2P264MB0068.FRAP264.PROD.OUTLOOK.COM ([fe80::9d84:9c36:e103:e4f5%3]) with mapi id 15.20.1965.011; Thu, 6 Jun 2019 11:34:24 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: Markus Elfring CC: OCaml Mailing List Thread-Topic: =?utf-8?B?W0NhbWwtbGlzdF0gQ2hlY2tpbmcgdGhlIHVzYWdlIG9mIOKAnFN0ci5zZWFy?= =?utf-8?B?Y2hfZm9yd2FyZOKAnQ==?= Thread-Index: AQHVHEJ/QUofJc9pG0Oij3t76NzGi6aOfv8A Date: Thu, 6 Jun 2019 11:34:24 +0000 Message-ID: References: <8a8d628c-9e10-f5e7-d47a-f6cfac281206@web.de> In-Reply-To: <8a8d628c-9e10-f5e7-d47a-f6cfac281206@web.de> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR05CA0166.eurprd05.prod.outlook.com (2603:10a6:3:f8::14) To MR2P264MB0068.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:5::16) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAWM2hVzDz24PCEM9O/gfe8hMmhwX2mPbKS071/8sJMdsQMPZOLF RfaRsE83OdqnQKAA/c7Dg7MQotRV/kdwMF9IpbE= x-google-smtp-source: APXvYqynyOBNAOERjFa8nOoquBZ5YtMvdi8v5rNVFF5CpW78+uCRkw2fkQ3QGXO/+vvW/62V36RIebndAP9flmLS6J4= x-received: by 2002:a2e:6313:: with SMTP id x19mr15306943ljb.25.1559820860947; Thu, 06 Jun 2019 04:34:20 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.208.179] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: fea255b3-d079-428a-4ec1-08d6ea72ec8b 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:MR2P264MB0209; x-ms-traffictypediagnostic: MR2P264MB0209: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:2276; x-forefront-prvs: 00603B7EEF x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(366004)(376002)(346002)(396003)(136003)(39840400004)(199004)(189003)(6506007)(386003)(53546011)(5660300002)(14454004)(102836004)(25786009)(86362001)(256004)(53936002)(6246003)(6862004)(508600001)(2906002)(71200400001)(486006)(99286004)(71190400001)(52116002)(4326008)(11346002)(76176011)(95326003)(85202003)(316002)(554214002)(55446002)(68736007)(446003)(3846002)(66556008)(4744005)(73956011)(498394004)(66446008)(64756008)(305945005)(66476007)(66946007)(6116002)(6436002)(476003)(229853002)(61266001)(7736002)(85182001)(66066001)(6486002)(81166006)(186003)(26005)(81156014)(6512007)(8936002)(61726006)(9686003);DIR:OUT;SFP:1102;SCL:1;SRVR:MR2P264MB0209;H:MR2P264MB0068.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: U0KVc1hhQFQFgNjIU7F9bpkercjZyaY9aoLX8wosmmBnQ15bQNspDbbPOB/pPz1ifgHTiv710F3l8wIAgNyOywu2kuM1HYfrerUUB7uF1/Lp7+l2Sa1UskPQCSRgHI7W/xvCEmjusdCbjBlodaBTPPwBfMbnLlNTWlp+W+JVDl7cixSUmYRHK/hY6cl0JgwMkFatpNSE6z9X0Nyy3lGxXr9pwKt4skPcFzRnA4yz8FJns2kxtC2yHjLGlrnwt354FS1aCoX5yD4Uz1uz8HvbWfCIGA7bQfgyhw8eLQF0QbvQ8ybF9QzTdBLjIGVYm7zk8Y7H8Jvff1KOo+wozejRVJCR9NcaMEz6woiqSLQZ5ftnpBB1CKIX52h44bZvdWEMT+bkcFQMxNa283UL2b3P/JGbbMOb5CxyCzWz+H0N458= Content-Type: text/plain; charset="utf-8" Content-ID: <160B155F5994B149982EBA8C050B2358@FRAP264.PROD.OUTLOOK.COM> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: fea255b3-d079-428a-4ec1-08d6ea72ec8b X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Jun 2019 11:34:24.3712 (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: MR2P264MB0209 Subject: Re: [Caml-list] =?UTF-8?Q?Checking_the_usage_of_=E2=80=9CStr=2Ese?= =?UTF-8?Q?arch=5Fforward=E2=80=9D?= Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17606 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: SGkgTWFya3VzLA0KDQpBcmUgeW91IHN1cmUgdGhhdCBTdHJpbmcubGVuZ3RoIHhiID49IDYgPw0K DQpDaGVlcnMsDQpOaWNvbMOhcw0KDQpPbiBUaHUsIEp1biA2LCAyMDE5IGF0IDEwOjMzIEFNIE1h cmt1cyBFbGZyaW5nIDxNYXJrdXMuRWxmcmluZ0B3ZWIuZGU+IHdyb3RlOg0KPg0KPiBIZWxsbywN Cj4NCj4gSSB3b3VsZCBsaWtlIHRvIHVzZSBPQ2FtbCBjb2RlIGxpa2Ug4oCcdHJ5IGlnbm9yZSAo U3RyLnNlYXJjaF9mb3J3YXJkIChTdHIucmVnZXhwICIgd2hlbiBkb25lIikgeGIgNik7IOKApuKA nS4NCj4gTm93IEkgYW0gbG9va2luZyBmb3IgdGhlIGV4cGxhbmF0aW9uIG9mIHRoZSBtZXNzYWdl IOKAnEZhdGFsIGVycm9yOg0KPiBleGNlcHRpb24gSW52YWxpZF9hcmd1bWVudCgiU3RyLnNlYXJj aF9mb3J3YXJkIinigJ0uDQo+DQo+IFJlZ2FyZHMsDQo+IE1hcmt1cw0K