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 BF8E05D4 for ; Wed, 25 Jul 2018 10:36:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,401,1526335200"; d="scan'208";a="340232372" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jul 2018 12:36:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 07C0A824B7; Wed, 25 Jul 2018 12:36:11 +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 D6A6081792 for ; Wed, 25 Jul 2018 12:36:05 +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=None smtp.helo=postmaster@FRA01-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AhPJmhRxCxnbbu3DXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoULvad9pjvdHbS+e9qxAeQG9mDtbQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYghEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAKxBu3g1yVIi2f50q000esvEQ/I0g89EdwQrH?= =?us-ascii?q?vao9T1ObwOUeCs1qTE0SnPY+9U1Dr79YPGcgohofaJXb9oacTRyFUgFwTBjlKS?= =?us-ascii?q?sozqJyqb1uYTvGeG9eVvTf+ijGs9qwpspTWvwMYshZXOhoIR0F/E7j91wIE3Jd?= =?us-ascii?q?KmVUF0e8SoH4BKuCGALIZ2Rt0tQm5puCY0y70Ko4K0fC8PyJk+wRPUdvKJc4+N?= =?us-ascii?q?4h35VeaRJy91hHNjeLKlhha961KsyuPmVsWs31ZKrzZFktnRtn8WzRDc9s+HSv?= =?us-ascii?q?5l8kahwzmP1wfT6uZeLU8okqrbLoYtwqQ3lpoIr0vDAjP2l1/qg6+Ra0or5PKk?= =?us-ascii?q?6+P9YrXpoJKXKox6ihnmP6khhsCzG/k0PhQMUmSB5Oiwyqfv8VD3TbhIlvE6jL?= =?us-ascii?q?XVvZTAKckYpqO1GRFZ3pog5hqlEjur08kUkH8aJ1xfYh2HlZLmO1TWLfD4E/i/?= =?us-ascii?q?h1OsnS9ryf7aIrDtHojBImHZnrn9Y7px8klcxxEtwtxF4JJUF60BL+n0Wk/sst?= =?us-ascii?q?zXEwU1MxSuw+bgFNVyyJ8RWX6OAq+eNqPeq1iI5v8zI+mIY48VvzX9J+I56P7p?= =?us-ascii?q?iH81gV4dfa+30psLcH21EehqL1+EbXbwgNoNC3oGshQkQOD3hlCPUyZfZ3OoUK?= =?us-ascii?q?I94jE7BpimDYDGRo21hryB3Tu0HppSZm9cEVCAC3Dod4eaVPgRci2eONRunSYe?= =?us-ascii?q?VbW6T48uyx6vtA70y7pmNObb5ioYtZf72Nhv++LTjQ0y9SBzD8mFz26CVWR0nm?= =?us-ascii?q?cRSz8y3aB/ulB9x0yY0al4hvxYDcZc6+lIUgc8L57czvZ1B8r8WgLbLZ+1TwOj?= =?us-ascii?q?RdOgADwrCNw1xMUDZVpVFNCrjxSF1C2vUJEPkLneIp0/9aZVxE/WJctxwkHsWL?= =?us-ascii?q?Np218nScxLPHbggaxy+wGVDYfTu0GUh6ekdOIX2yubpzTL9naHoEwNCF04aq7C?= =?us-ascii?q?R31KIxaP9IWr1gb5V7arTI8fHE5EwM+GJLFNb4Sz31FLVPbtOZLVZGfjwj7sVy?= =?us-ascii?q?bN/auFac/RQ0tYxD/UURJWlw0D/HiHcwM5A3X5+j+MPHlVDVvqJnjU36x+pXe8?= =?us-ascii?q?EhBm4TujNxQk74DvvxkfiLqbVu8Z2a8CtGE5sTJoEV2h3tXQTd2duw5me6Yaat?= =?us-ascii?q?Q4sg9K?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DeDQBKUlhbfYkMayhbHQEBIgEGAYMyZ?= =?us-ascii?q?nAEMwqDdIhlixhwgWOCV4VogUmLQRSBEANTCyMJhEACgnkHAQQyFgECAQECAQE?= =?us-ascii?q?BAQETAQELFAhMDEIBBAkBgWQkgl4BBSMdAQEsCwEPCwsNAgIJHQICIQESAQUBC?= =?us-ascii?q?gQBDRkSgw+BZwMVAwykGDwUAooFboEugnMBAQWEGwMKC36CIggJAYEBiHKBHIQ?= =?us-ascii?q?jglYsDgsCAoEmOE2CNIJVhj8IkwUrBwKCYYM1hhODDIIKi3WKSVOGagIEAgQFA?= =?us-ascii?q?gUIAQEFIYEnB4F8cFAxBoIyCYV4gT6DVoVAbYEWhheBKoUAAYEaAQE?= X-IPAS-Result: =?us-ascii?q?A0DeDQBKUlhbfYkMayhbHQEBIgEGAYMyZnAEMwqDdIhlixh?= =?us-ascii?q?wgWOCV4VogUmLQRSBEANTCyMJhEACgnkHAQQyFgECAQECAQEBAQETAQELFAhMD?= =?us-ascii?q?EIBBAkBgWQkgl4BBSMdAQEsCwEPCwsNAgIJHQICIQESAQUBCgQBDRkSgw+BZwM?= =?us-ascii?q?VAwykGDwUAooFboEugnMBAQWEGwMKC36CIggJAYEBiHKBHIQjglYsDgsCAoEmO?= =?us-ascii?q?E2CNIJVhj8IkwUrBwKCYYM1hhODDIIKi3WKSVOGagIEAgQFAgUIAQEFIYEnB4F?= =?us-ascii?q?8cFAxBoIyCYV4gT6DVoVAbYEWhheBKoUAAYEaAQE?= X-IronPort-AV: E=Sophos;i="5.51,401,1526335200"; d="scan'208";a="340232341" Received: from mail-eopbgr120137.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.137]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 25 Jul 2018 12:36:04 +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=RToXX9RlJuiiv8bhx175wPVxwEOHVC2kkKuEgzIsY2A=; b=RpEyQJ5U/x81Xh444GAQMow6MllQfsSNn9dlHf9/KNlQ0KBtQXXnj9WSWf3xheZyuuLXCkJ8V/1sMZQqUbtuOEwsKGCs0ByKxvQNCYvl/NF6GwtIoH0Y/ge0S+cEV/1qSRDyAw3HCHAbjjp/+xC9CUIWYwBYbA28/mxKI419qCg= Received: from mail-lj1-f181.google.com (209.85.208.181) by PR0P264MB0746.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:10::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.973.20; Wed, 25 Jul 2018 10:36:03 +0000 Received: by mail-lj1-f181.google.com with SMTP id f8-v6so6241819ljk.1 for ; Wed, 25 Jul 2018 03:36:03 -0700 (PDT) X-Gm-Message-State: AOUpUlH4Aym3LiB8GDBC3pmoWApjzOgzQncLKlGA9lwU25/UXAENOIPj Lk8tDtUg1GimEjqnEh1O5s+MRB1hCgj2fXIhT+E= X-Google-Smtp-Source: AAOMgpeWC2LYTNaOBImXtZeoIQxGjFDLPY9RNtW+DqeXK0Bjy3rW1sF6C3SGzhnQ672CeSXqg8uuSlCPNml+afUO9N8= X-Received: by 2002:a2e:998e:: with SMTP id w14-v6mr14793483lji.7.1532514959170; Wed, 25 Jul 2018 03:35:59 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Wed, 25 Jul 2018 12:35:48 +0200 X-Gmail-Original-Message-ID: Message-ID: To: monnier.florent@gmail.com Cc: OCaml Mailing List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Originating-IP: [209.85.208.181] X-ClientProxiedBy: HE1PR02CA0087.eurprd02.prod.outlook.com (2603:10a6:7:29::16) To PR0P264MB0746.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:10::21) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: bb037825-febf-4ca4-31e6-08d5f21a6bed X-Microsoft-Antispam: BCL:0;PCL:0;RULEID:(7020095)(4652040)(7021125)(8989117)(5600073)(711020)(4534165)(7022125)(4603075)(4627221)(201702281549075)(8990107)(7048125)(7027125)(7029125)(7031125)(7023125)(2017052603328)(7153060)(7193020);SRVR:PR0P264MB0746; X-Microsoft-Exchange-Diagnostics: 1;PR0P264MB0746;3:zdzNMm7lR5dCOocjfXG9UIpK7DpIVwPcpAZKF2NylZx+kHM/svw5qhVLztdLSYL7cZk9XC5lEtNrF1iBYFNAqB4RZa1Egpef35K3ltwWpmpNwSmasyA+x2Vr4hX+bb7dJRgAt2VyzeD/QKksEyHikZXL3zgqfIFQKseEhdMMnUEFba4NnieZ/HUk96tXqBg7ddhuTQxcVTnQvMip2jUFh3KAxfwkC2ToRLYYhm1d1qZR7v77dbU6lXVl1u8LuLcy;25:iEhFtXJahkKdHj4XSmTKNCtf5gTe08LD/Y/RZw3JIzh3aQJ88YL9lFGB4HLAj11ar/x48qHLumGv0mhGdTUjQKZmCyoUCFlN9YperLPy9f0FBnJEfNC+UjdQ5Td3SlYgAnjYmsYPX35cXyLQASjYM2m3/HCidIrfmwgcnX0IIYgjl7oiI5O8Cy6BQZ8aoGUvQjZl/qCysMYgYSCk+1ktu43+QDZSRKZ45KNSFa8ATbJeM2+5sRf/KZQ9FLRF96NkSRaHCVVIKtOcA6mLDeHqaWNHKVUkZ5f7lJ6JBenbK3Gdcz5ILd2CQpp6Y8Ie4YQaaCbvJMx/mx5aeT+oS1KERA==;31:WOC/iykVxwLYyvWeIQlngoQr+Qk2QnJrBjKfJxqmRhyRKxbaH0Ih3pFKZ3YWXVWpH/I1pwS8EJJ7KPftUZMSITpQonUel9ssunDWKHwqxGgfwJmTnVzER7Xd4+t28bGAV7Q11jHDCKXKdaoyPahs7tKVSktw/wF3LaoI9ROA2ouwOoYvgMczQXmfHraPTCvci9laYzUvFPy9FXCPpQNWMkc++hZkkPZDv4BbbUNAYUM= X-MS-TrafficTypeDiagnostic: PR0P264MB0746: X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(20558992708506)(166708455590820)(243061576751430)(85827821059158)(201166117486090); X-MS-Exchange-SenderADCheck: 1 X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(8121501046)(5005006)(3231311)(944501410)(52105095)(93006095)(93001095)(10201501046)(3002001)(149027)(150027)(6041310)(2016111802025)(6059035)(20161123558120)(20161123564045)(20161123560045)(20161123562045)(6072148)(6043046)(201708071742011)(7699016);SRVR:PR0P264MB0746;BCL:0;PCL:0;RULEID:;SRVR:PR0P264MB0746; X-Microsoft-Exchange-Diagnostics: 1;PR0P264MB0746;4:H28QwzdR/aiMSRPuIYiSnP9x2TCdWEOv9TjzYTzx9eav3X2WQWHDoIk2CkOvJXDhqZwClAxRD1hGnypgQ2DFQVici/adYKI442tP4N/PrhMF2Xn0ZkA2NaU4Uw4v7Nr2V9GVkAPI4WWzwtBRl5NJiSf/F+tXI9dIQ7eK6kV0fUt3a0MklR/Z6diB8kE2xxpRWtWr4p6+9EUz53iDdG2YKdMBKERyvf0FB3kKC8oWZibmmnDFOBj4G21lI0oAI0Cb5POFurgzd9DRbwbxQQ0iOla7/wtCy4zYggjZDtwL+7PavARi/318/B9TTldxN4z6rrCzm3euqtvCUdKNmJOfYxINK0D07VQS5J77+qSmYaYEWJoVVL0mgx1rjkIzcm2M/ghCdMlOt3raGjzGUK4zHxsNn6BcFOpn35f0ZW4BkVH8c9hSBAXHeANBTWrjAUef6E1nwzFXIxCLLshzw7bGyA== X-Forefront-PRVS: 0744CFB5E8 X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10019020)(396003)(366004)(376002)(346002)(39840400004)(136003)(199004)(189003)(27584003)(498600001)(97736004)(86362001)(59536001)(6116002)(305945005)(47776003)(66066001)(486006)(61266001)(476003)(50466002)(8676002)(11346002)(4326008)(34206002)(81156014)(42186006)(105586002)(8936002)(7736002)(446003)(81166006)(8746002)(966005)(413944005)(53936002)(106356001)(1720100001)(95326003)(6246003)(61726006)(5660300001)(76176011)(52116002)(69596002)(55446002)(2351001)(23676004)(5820100001)(6666003)(53546011)(26005)(3846002)(98316002)(386003)(38610400001)(498394004)(33896004)(586005)(2361001)(186003)(68736007)(38500400001)(9686003)(6306002)(229853002)(2906002)(93516011);DIR:OUT;SFP:1102;SCL:1;SRVR:PR0P264MB0746;H:mail-lj1-f181.google.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtQUjBQMjY0TUIwNzQ2OzIzOmVKK3YrS3VVRXAzMGkxeWIvWXVuODNMSmY3?= =?utf-8?B?Z3F6bE5zRm1rTTlZR1BTK1VKdHFjTFNMdFlxYXc2dE5NUUlCOXIzZUc3Q3pS?= =?utf-8?B?cUhxVng0bjhaWUpsSHVkVEZIYzJMUjVZMkhRK0NqZWduZGk3aTFWeVVCVmFS?= =?utf-8?B?dUk2V0prbkdWSDZINWtidkpENmt4YnZybUJxRzlDR05qb1VZd1hYSHBYUFRp?= =?utf-8?B?a2JaUWd4K08wY1kyQkpleXQvMkVobDdndGdKNzZVMTgwWGNJeXkxQnFBaVYy?= =?utf-8?B?VDlOKzhhMXRCVkpXM3FQVXlSZlB3MjhqNTgxSHVvemJzUlQyUW1HQ2JQQ2Y5?= =?utf-8?B?K0t4VmpLWEpjRXVhZU92ZktVZmIrTXM3eThyazBVVUtLajFFUFFBUGNMRDdl?= =?utf-8?B?Z3BVeE1FSVZlek44bTBrQWkvM2JUN2dheENHWkJGNFlwV3JYdTFabHFieHRx?= =?utf-8?B?ZGRxWUZDZGlOU053dVdmUm1WejFHcWRFcElsRnk0TXh4aEtiL1psNkxabEV4?= =?utf-8?B?bS9DRmI0TE9DeGhZa2RRem8vbDdOZkZnT3N2TGlWU3p2VHJlMTJBbTB5RDFC?= =?utf-8?B?ZXYrbmp1dUNHQWZYTmJVUUJSZVh2R3NQakZPa0V5a0VqekVXNTBicExaMFhZ?= =?utf-8?B?RWE3aGNvZ0c1S2RRam11S3hZUHdYK2VxU3VVaDlTWldjN2hqV1Q0b3JKS1ZK?= =?utf-8?B?eFVDODhLdmZkMlZEQ3NMNTZtbjRxR3NZK2pxSm1naHV4cnZYYUtadGNGRmcy?= =?utf-8?B?ZGVyY3pKYmdQL3ZTZ3N0c0N2Nm9zemJlb1FsZ0tmRklZMHU1NmhZWnVOeXdS?= =?utf-8?B?a2svK21PUXlwUko1WFRjVmRVbjBNNU1Ealk2NXJmOURuYk5lWU5qSzlBSEps?= =?utf-8?B?cHFUdU85T3NrNmVWUE02dXlha3M3MHFPLzFaRW1vcjlFVkRyeG1OUXIvVjNr?= =?utf-8?B?RU9HclNYWmZnWjlkaHJJb2ZrVVdYUTQrVlYzZ3I2ZHZDcWgyWGhKTU1OM2Yr?= =?utf-8?B?dzJEaFpSTWNGYWQxb1dlakpMWnNxWWZQN2w3cWFpUzRuZEtybVNHMDd3YjV1?= =?utf-8?B?SWpBditYVjN3ekcxQ1ZzcUY1eFd0cy9DNHk5UlpvSy9LemhHK2h4NnZWUnYr?= =?utf-8?B?RVF1VXdVZ0JUTC81MnpvZHZiSHVXSG50bldlcFdTdjdHQ1g2TEhZaDc2S2Vs?= =?utf-8?B?Qno0WlpUOEJBVS9BYk05VHRJQXBrL2N5ajZ6a0Y4SmtNaVlNWjN4Q29hNHYv?= =?utf-8?B?ZGlQNE9IYlhHb3JLcWYwWEVKSW11cFZCcytUWnZDcDArNmNmM05najBNdFBT?= =?utf-8?B?VmVwUU5QMmsxS05LWVNVSW1uTEpKV1BYRWpXRU9oMlM3bHdFM2tKc1B3RmF0?= =?utf-8?B?blpQc3JHSDdGRk10OHVycHluNHM3R0xLUnkvTWhjZFdRWWhncjNrVXRjeGk1?= =?utf-8?B?Y3YrbmFhRWRaMEV1Zmx3amZUYk5vakpGNVV6V3dyNEZ2QzZDbWdKVklJc1Nt?= =?utf-8?B?eUVxVFIvRGxXYzlvT1FENCtFK1JudWViS0pocll3MjZWc1BKekhkZkI0WXRu?= =?utf-8?B?c3FTWGZEZVh6dnBuM0pLaThoZEpDT0xmT1p2K29YcHo2SFIvQi9TRVpRSm9O?= =?utf-8?B?N0MrTTNGMWR6dWQwZmVHMUVJNGRHbE1Zd25YbTg1b200dEFHa2ZOZmYzdHZL?= =?utf-8?B?VUhWUmVoVmdjRUQyWFlINzFtS05oRStlakpSVXFzTmsvQmhKaTJGblRPTmpv?= =?utf-8?B?Ym9GVU9IUlpVRkhEb0hVUVFyU05EVlNYZW5aODJIaDVZWk5Vdm5paTNlTnFY?= =?utf-8?B?WHVLNDlZWUZmVENjaUNhU1lTN3hXL29GaDRwQ29WeEF5TEZlOGQrdkVPMHpI?= =?utf-8?B?UXkwYWI2NWRMZTRMYk5jSzl1YnFQV1JHTG5uUjdDU0tWK0s1UFh1bktPTXI0?= =?utf-8?B?UHRDZ2tCejhDaGJmTW9mdzMvWkJraXkyMjQ2VXExcXhHVUJ1M2xZK1lCR1Mx?= =?utf-8?B?Z3ZNWjZvRHF5bTZTRUlUNU83TTV6QkpiakZjVlptZUNla3lUSCt4MzFPM2k0?= =?utf-8?Q?RmsnsVoZgwGYBKuIDffnObZL4?= X-Microsoft-Antispam-Message-Info: uIdvJGPvlNC7+VYbuMZ7jGHxu62UJNqP6a8uAUH2GZ0PlKEqW8G+kK5inp/nckyrMy1tNArCNcIOXFBt19VHzzd64aQFmqKmqvKWN4yCN2YYGh511ucugrcxOu/16eOtmsRqhVt/dAbG0rbLrZYpB0cBS98VtnWeNHvSkphPnyRxjaZf2YViQtWWqpIx33SdByNVox0MHFk9AMULv21Npe2P2EkSqS3w1VPaMlVxz5xLj7Mo0WrnFaGYqNELVZ959sSbzmOcEjFaFH/Q5jA6qbkZvRf3eQjIbEYpGDHVeax+bQoBpjWZAcyEg7i10mh+MKIMTTwwDjKVS19iBgy/ztKFOyBgciXIaWNRYv6oXAU= X-Microsoft-Exchange-Diagnostics: 1;PR0P264MB0746;6:q6HjXQwX9YCtlV9syqiy2k5jB/oK3N9/UQUZseBihPTGUmJOf+8JFI4EY9pvII68QsGkaUISzzz2OUebCOw0S5B2IrQdcjE5Vz4Czb/Zv4MOaqBaqpDl9aGgdoOLqg3/poZWaCuigLEDpyyqyqdxmsDPxdO+mwcDj/AWcGEPayxN/0aIeMRydkkHn6Xy+qwnw3C9a4PKn4UEu2/HKkjgL0EjDa0IPWI09XYMwAIkua9rd7beden+y4aQoWN9n1mXPzSSWaLoVmJQpvm3s+mdtqM1oMPNPJPhuQs/eAMlOFU/lNcuEK2YEdVZG1SZl/XK5VSZ/bYPWBgr5e763igs8hJNZZDiPKUusvQ8KgJKqrbrGR2+hGoq88UcTYMTQlpRmRcoPB/baOjqsrYRKCf3ySdIkq4AMIFv+p6rw8dXiYgSvlhkJKkJA56ddTAGO1jgtR/d/i2PjXgHnBn2HHYRSA==;5:zH8giFZDxxRNxsBqdjJUlY+LprmfMbMcxmg/pP6NY8Ksx+JxOuahu0w6VYTjOsSPf1pAYx78uk0NKxLFjrmGtvlKh6Wu0fBt3vHbBtd8c0DAz/q/kdw7rNimFoHUdM40vvCPzHQOUxqL8aYdaN6RBzXaKTEvFBrcc1nog3Tpy64=;7:f8R9i9doNo8T5MpJsKe7ljwSnoy4tuGyj+Q3UKYGsn9Fg2SKBaFeuZ0BN1YWq21XR5CIT06xxCK79Jq//z68Dn88GRKKoCjalmiP2DEHI6FNZ8vOlnPz4/te5zKWcDRO3CCXyhGNdU9S+EjEkTnr1JgTQVsDz8wtq+4fwbdbo2lRW/qpYJ2bcviYhOI6/jhaoOVNV5NU7z0SOI31QIy5GYihh/tC1UVYq/dzc+fmQ9dXfLC2IOeV8NA7mBUHRt6O SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Jul 2018 10:36:03.6561 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: bb037825-febf-4ca4-31e6-08d5f21a6bed X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR0P264MB0746 Subject: Re: [Caml-list] Unix.truncate for Windows Reply-To: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= X-Loop: caml-list@inria.fr X-Sequence: 17008 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: Dear Florent, Yes, it would be a nice to fill out the Windows implementation of Unix.trun= cate! Best would be if you could open a PR to the official OCaml repository at https://github.com/ocaml/ocaml General guidelines about the procedure are available at: https://github.com/ocaml/ocaml/blob/trunk/CONTRIBUTING.md If you need any help with the mechanics of this or modifying the compiler source code, I will be happy to lend you a hand, just let me know. Best wishes, Nicol=C3=A1s On Wed, Jul 25, 2018 at 11:59 AM Florent Monnier wrote: > > Hi, > > I wrote some stub code for the function Unix.truncate for Windows: > > https://github.com/fccm/ocaml_unix_truncate_win32 > > I mainly found the code from Rosettacode: > https://rosettacode.org/wiki/Truncate_a_file#Windows > > Now I would like to know if the upstream would be interested to get > this code included? > If yes, what's next? should I try to make the change to ocaml's git (I > would need some help then) or some upstream developer will do the job? > > Regards > Florent Monnier > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=