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 8D5A55D4 for ; Fri, 26 Apr 2019 12:03:40 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="380412207" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Apr 2019 14:03:37 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 61AC68269B; Fri, 26 Apr 2019 14:03:37 +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 710E88249D for ; Fri, 26 Apr 2019 14:03: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-MR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3ADXfvQhMuUl7EydEEu2Ql6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/jzrarrMEGX3/hxlliBBdydt6sdzbeI+Py+EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oLBi7rArdu8YXjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVQTlgz?= =?us-ascii?q?kbOTEn7G7Xi9RwjKNFrxKnuxx/2JPfbIWMOPZjYq/RYdYWSGxcVchTSiNBGJux?= =?us-ascii?q?YYsRAeQcIeZWoYrzp1UMohu/GQaiC+zgxyRUhnDtx6A2z/gtHR3E0QEmAtkAsG?= =?us-ascii?q?7UrNLwNKoKSe61zbXHzTLHb/RUwjf29ZHGchI/rv6RR717bNfczkw1FwjYiViQ?= =?us-ascii?q?r43lMC+S1uQJqWeb9PBsVeWti2E5tg5+uCKjydw2hYnTnY8Vzk7L9Cp4wIY7JN?= =?us-ascii?q?20UlJ0YdmhEJZJsSyRKoh4Qts6TmxnpCo20KAKtYK5cSQQzJkr3QPTZvKFfoSQ?= =?us-ascii?q?/B7vSOKcLS17iX9lYr6zmhe//Eq6xuDzS8W4yFhKoTRGn9XQs30A0gDc5tWIR/?= =?us-ascii?q?dg+0qh1yiD2BzS5+xBO087iKvWJIIkz7EujZUcrFrPEynrk0vslqCWbF8r+u2w?= =?us-ascii?q?5uTnfLrmopicOpd0hA/iLqkihtGzDf0/PAYSQWSX4OO826b98kHjR7VKk+E2nb?= =?us-ascii?q?LesJDHI8QUu7S1AxdP0oYk9xawESup0MgZnXkAKlJJYhWHj5X1O1HKJ/D4CvS/?= =?us-ascii?q?j06wnzdswvDKJrzhApPTIXjfiLrscqpx51RBxAYvz91T/ZZZBqscLP/9WEL9rN?= =?us-ascii?q?nYAQU4MwywzebnEtJ91oYGVGKJA6+WLKTSsVuS6eI0OeWMY40VtyjgJPc//fLh?= =?us-ascii?q?lmU2mUUGcKmtw5QWZ3G4HvpnI0mDfXXshdIBHX8QvgUiVOzqlEGCUTlLanmuRa?= =?us-ascii?q?084zU7BJuiDYfCXYCtnKeM3Dy7H51TfmBJEEqAEXbud4WeWvcDcjieIsF7km9M?= =?us-ascii?q?ab/0AbUg3hGnrgOy9PxCaKL2/SsVrtirgMJ07O37nBc0+Cx1BoKayW7bHE9umW?= =?us-ascii?q?ZdYT4926T2ugRayFqP2OBSD+YQQdpS7PRNWxx8MpzRw+U8AdnocgbMbtaHSRCt?= =?us-ascii?q?RdDwUmJ5dc4439JbOxU1IN6llB2WmnPyW+ZJxYzOP4Q99+fn51a0P9x0kiyU0K?= =?us-ascii?q?QxjlcnBMBIMD/+3/Mtx03oH4fM1n6hueOqeKAbgHGf2l2qlTPLmXsCFQl6XOPC?= =?us-ascii?q?QGwVYVbQoZLh/ETeQrSyCLMhdAxc1cqFLagMYdrs3wwfFaXTfe/Gamf0oF+eQB?= =?us-ascii?q?OBx7eCdo3vIj9P2CjNCUYF1QsU+CTfOA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DtAACE8sJch4kJayhmHgEGBwaBVAYLA?= =?us-ascii?q?YE9UIFdAwQLKAqEBYNHA4UxiVhzgWSKNWmOUgNUDwEthEACF4Y3BgEEMwYOAQM?= =?us-ascii?q?BAQQBAQIBAQEBEwEBAQgNCQgpIwyCOikBgmcBAQQSEREMAQE3AQ8CAQgLDQICJ?= =?us-ascii?q?gICAiAQFRACBA4FCBqDAIFqAxwBAqNeAoE1iF9xgS+CeQEBBYUCGIEHgQcJgQs?= =?us-ascii?q?nAYxCgRyEIz6BDoM2gwqCV400mTIHAoIKgWCQTRuVGYNonF8CBAIEBQIOAQEFg?= =?us-ascii?q?WWBeHBQMQaCNYIPDA4Jg0yKU0ExgSmPbgGBIAEB?= X-IPAS-Result: =?us-ascii?q?A0DtAACE8sJch4kJayhmHgEGBwaBVAYLAYE9UIFdAwQLKAq?= =?us-ascii?q?EBYNHA4UxiVhzgWSKNWmOUgNUDwEthEACF4Y3BgEEMwYOAQMBAQQBAQIBAQEBE?= =?us-ascii?q?wEBAQgNCQgpIwyCOikBgmcBAQQSEREMAQE3AQ8CAQgLDQICJgICAiAQFRACBA4?= =?us-ascii?q?FCBqDAIFqAxwBAqNeAoE1iF9xgS+CeQEBBYUCGIEHgQcJgQsnAYxCgRyEIz6BD?= =?us-ascii?q?oM2gwqCV400mTIHAoIKgWCQTRuVGYNonF8CBAIEBQIOAQEFgWWBeHBQMQaCNYI?= =?us-ascii?q?PDA4Jg0yKU0ExgSmPbgGBIAEB?= X-IronPort-AV: E=Sophos;i="5.60,397,1549926000"; d="scan'208";a="380412128" X-MGA-submission: =?us-ascii?q?MDGWe6nbNHobtlo0Yc9C2vKzOvskYTQmCIekSM?= =?us-ascii?q?Htkm/uS9LVA3xwykvdRV1uR6nnC/OUav/Ai2mZTF7vWecMQSr/U/C2mv?= =?us-ascii?q?Ac10EaFO8J4wZcB1scFUiXVtMIffWvzvcMiEVSEBiJjnGRLKLMGyqEoq?= =?us-ascii?q?0w1zeeskQa+3haXbuvsI8OOA=3D=3D?= Received: from mail-eopbgr90137.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.137]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 26 Apr 2019 14:03:25 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector1-lexifi-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=E0htdLcJCfuMQmsi/sNn6SmvEviFtKfgBM0tvfhCaMk=; b=O1/41f+KrRQ0BQjDm8VQjdTVgP/fjfj/roVaAmyFlHkz7PPay3b/l+numloNgQNME5cPFPJ1UbqVd3jlWGDkVHOUG7cjJpSkOwZgFZJmpzkhMbWPuyGM6irpR0m1De63XozgJGjeL37lqCIbdZJ4Drd8XTLmEOUUzNxp+Vi85gU= Received: from MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM (52.134.50.10) by MRXP264MB0261.FRAP264.PROD.OUTLOOK.COM (52.134.46.21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1835.12; Fri, 26 Apr 2019 12:03:24 +0000 Received: from MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM ([fe80::c141:f2c6:ad6c:ebd2]) by MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM ([fe80::c141:f2c6:ad6c:ebd2%6]) with mapi id 15.20.1835.010; Fri, 26 Apr 2019 12:03:24 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: "Richard W.M. Jones" CC: OCaml Mailing List Thread-Topic: [Caml-list] Test failure - why? Thread-Index: AQHU/BVLOOvKxeFhHE2eu+Gph9B7K6ZON50AgAAaQQCAAAX9AA== Date: Fri, 26 Apr 2019 12:03:24 +0000 Message-ID: References: <20190426094858.on6ei7ujdwbsozjq@annexia.org> <20190426100744.GA5136@prajna.paris.inria.fr> <20190426114142.k7qibozcshqxdk5r@annexia.org> In-Reply-To: <20190426114142.k7qibozcshqxdk5r@annexia.org> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR0402CA0012.eurprd04.prod.outlook.com (2603:10a6:3:d0::22) To MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:24::10) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAVxD1pLX9B+Nw/8Bv2xdaZ5R5WqlublLRGaiPSQkvOtT48ijMAk bKclXPQC6FpctSW9h0XtqQ0yKeN0tDnd+OL50S8= x-google-smtp-source: APXvYqw7kR9AjiaJIfZtIUFCXxjW9x2NVDEuAtmxT3UHBZ8MuCTQdoAveqbJWRgXARzj2wwXyT0fsDiE9PGr5MK7tCg= x-received: by 2002:a19:6a06:: with SMTP id u6mr25325979lfu.26.1556280201099; Fri, 26 Apr 2019 05:03:21 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.167.41] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 9f3759f4-964c-468a-5dc3-08d6ca3f2edd x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(5600141)(711020)(4605104)(2017052603328)(7193020);SRVR:MRXP264MB0261; x-ms-traffictypediagnostic: MRXP264MB0261: x-microsoft-antispam-prvs: x-forefront-prvs: 001968DD50 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(396003)(366004)(346002)(136003)(376002)(39840400004)(189003)(199004)(52116002)(8936002)(55446002)(4326008)(81156014)(476003)(446003)(99286004)(61266001)(14454004)(81166006)(316002)(11346002)(66066001)(85182001)(98316002)(8676002)(76176011)(229853002)(7736002)(305945005)(71190400001)(71200400001)(53546011)(68736007)(64756008)(6436002)(66946007)(66556008)(25786009)(102836004)(6116002)(5660300002)(3846002)(386003)(53936002)(498394004)(61726006)(9686003)(73956011)(95326003)(86362001)(6862004)(4744005)(2906002)(66476007)(66446008)(6246003)(85202003)(508600001)(256004)(186003)(97736004)(6512007)(486006)(26005)(6486002)(6506007);DIR:OUT;SFP:1102;SCL:1;SRVR:MRXP264MB0261;H:MRXP264MB0728.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: rmwk2XSurpiupYLYgaT1I/waPKToqHC3VFFsY1VggRa2uS48VfABLKZtQvu5daysS4zrNIMcM+WSKOk1mgYq9Vfv/hM6qKzvFO3QWNaDkN45k3JAkgT/wJxTi1k3LViPbayeRu0c2y3UCrHjqxxQyHv3MV+3TZQMj9+186jqQatVVGYSj3X7Mxp1gbr32ieM0FOrGxySPWl3VYAzNrH/th14x3bHaRiRL6a+2Cb0nuVzionczy3rA/fuiDUar/Xk0EbblpqAIyjbTtouTwfIOTpmqh+ZvDJjdp2hMVN43d3otKEFRBHa4WXzmZwtsrCRwg2BezYHiYkk1c15WOHCZEHGmaZBD45yXeHFbQDtZOD/u4FAe3KhlmDdrzm+L+5YGs8gnQQ7c3boiMzMuhL/0SWTzskAd/m3QK95O9K6VpI= Content-Type: text/plain; charset="utf-8" Content-ID: <17623F5E2D617A418D3F28480CC0A546@FRAP264.PROD.OUTLOOK.COM> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: 9f3759f4-964c-468a-5dc3-08d6ca3f2edd X-MS-Exchange-CrossTenant-originalarrivaltime: 26 Apr 2019 12:03:24.4538 (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-Transport-CrossTenantHeadersStamped: MRXP264MB0261 Subject: Re: [Caml-list] Test failure - why? Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17511 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: SGkgUmljaCwNCg0KVGhhdCBlcnJvciB0eXBpY2FsbHkgbWVhbnMgdGhhdCBDQU1MX0xEX0xJQlJB UllfUEFUSCBpcyBub3QgY29ycmVjdGx5IHNldC4NCg0KQmVzdCB3aXNoZXMsDQpOaWNvbMOhcw0K DQoNCg0KT24gRnJpLCBBcHIgMjYsIDIwMTkgYXQgMTo0MiBQTSBSaWNoYXJkIFcuTS4gSm9uZXMg PHJpY2hAYW5uZXhpYS5vcmc+IHdyb3RlOg0KPg0KPiBPbiBGcmksIEFwciAyNiwgMjAxOSBhdCAx MjowNzo0NFBNICswMjAwLCBTw6liYXN0aWVuIEhpbmRlcmVyIHdyb3RlOg0KPiA+IERpZCB5b3Ug dHJ5IHRvIHJ1biB0aGUgY29tbWFuZCBtYW51YWxseSB0byBzZWUgd2hhdCBoYXBwZW5zPw0KPg0K PiBUaGVyZSdzIGEgYml0IG1vcmUgdG8gdGhpcyAtIHdoZW4gSSBydW4gaXQgZnJvbSBhIHN0cmFp Z2h0IGdpdA0KPiBjaGVja291dCBpdCAob2YgY291cnNlKSBkb2Vzbid0IGZhaWwuICBJdCBvbmx5 IGZhaWxzIHdoZW4gSSBidWlsZCB0aGUNCj4gRmVkb3JhIHBhY2thZ2UuDQo+DQo+IEhvd2V2ZXIg SSBkaWQgcHJlc2VydmUgdGhlIEZlZG9yYSBidWlsZCByb290IGp1c3Qgbm93IGFuZCB3YXMgYWJs ZSB0bw0KPiBydW4gdGhlIGNvbW1hbmQgYnkgaGFuZCB0aGVyZSwgYW5kIHRoZSBlcnJvciBpczoN Cj4NCj4gICBGYXRhbCBlcnJvcjogdW5rbm93biBDIHByaW1pdGl2ZSBgdW5peF9mc3luYycNCj4N Cj4gSSBzdXBwb3NlIGl0IG11c3QgYmUgbGlua2luZyB0byB0aGUgd3JvbmcgT0NhbWwgcnVudGlt ZSAtIHBlcmhhcHMgdGhlDQo+IGluc3RhbGxlZCBvbmUgKDQuMDcuMCk/DQo+DQo+IFJpY2guDQo=