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 78A085D4 for ; Wed, 25 Jul 2018 09:59:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,400,1526335200"; d="scan'208";a="340227543" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jul 2018 11:59:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 56DFF824BB; Wed, 25 Jul 2018 11:59: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 70AD581792 for ; Wed, 25 Jul 2018 11:59:19 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier.florent@gmail.com; spf=Pass smtp.mailfrom=monnier.florent@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f43.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ABcSd4BeSHs4HP7Wrr/EUEvwElGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcuzYB7h7PlgxGXEQZ/co6odzbaO7ea4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahYL5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38G/ZhM9tgqxFvB2svAB/z5LObY2JKPZyYqHQcNUHTmRBRMZRUClBD5u8?= =?us-ascii?q?YYsLCOoBJ/hXr4/hp1ATqhW+Ag+sBOXuyjBWnH/9wKo30+EmEQHA2gwgHswBsG?= =?us-ascii?q?7OoNX7MKcSVvq1w7fOzTXfdP5W1jL955LJchAlu/2DQbVwcc/IxEQpCgjLgFKQ?= =?us-ascii?q?qYn/MDOU0OQAq2eb7+t8VeKvlm4osBt9rSSoxscpkoXJnIUVykva+iVl3IY6P8?= =?us-ascii?q?G3SElmbtG6CpdQsDuaN4RwT8g/QG9ooD43xqMatZO/ZiQHy5QqywTBZ/CafIWE?= =?us-ascii?q?+B3uWeiXLDxlnnxqYqi/iAy38UW4yu3zSM200FFSoypAiNbMt3QN2wXS6sibVv?= =?us-ascii?q?dx50mh1DmB2gzJ5eFEJkc0laXfK5E/2LI/ip0TsUHbEi/3nkX5krOWe1069uS0?= =?us-ascii?q?7+nreLbrq5+GO4Nqlw3zPb4il8OxDOggNwgBRWmb+eCy1L35+k35Ra1Hjvgxkq?= =?us-ascii?q?nftpDaJNoUprSjDw9b1oYj7Ay/ACmg0NQEhnQHI1dFdwiGj4jtIV3BPPf4DfKn?= =?us-ascii?q?j1S2jDhr3+zGPqHmApjVMnfMirLhfbJk505YyQoz1sxf6olPCrABJfLzQlX+uM?= =?us-ascii?q?bZDh8/KQy0wvzoBM9z1oMECiqzBfqSOabW9FuJ/f4HIu+WZYZTtiyuBeIi4qvA?= =?us-ascii?q?iXgjlFkBNYyu250WZWrwSvFhJUOYbGCqjNMGC2oMoiIxSeXrjBuJVjsFNCX6ZL?= =?us-ascii?q?41+jxuUNHuNozEXI342OXQjhf+JYVfYyV9Mn7JFH7pc4ueXPJVMXCdJ8ZglnoP?= =?us-ascii?q?Ur3zEtZ9hyHrjxfzzv9cFsSR4jcR7Mux29185umVnhY3p2QtUpatllqVRmQxpV?= =?us-ascii?q?smAj872Kcl/B54w1aHlKlk27lWSYcV6PROXQM3c5Xbyr4iBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B5CACbSFhbhivWVdFbHAEBARcBCQEBB?= =?us-ascii?q?QEBhBh/KIN+g22QVoJPiHGEEYgDgXoLBR6HKRkHAQQyFgECAQECAQEBAQETAQE?= =?us-ascii?q?BCAsLCBsOIwyCNSKDCR0BGx4DEhAPAiYCJAERAQUBPYMYAYFmAQMVD6B6gx48i?= =?us-ascii?q?wmBEQUBF4J0BYNTChkmDVeCVAIBBRJ5h3eCF4clGQICgiuCNIJVAo1KjCgHAoY?= =?us-ascii?q?ViR9jVQGMQopEh1QPIYEnA1SBLDMaI4EBgjiCM4NOhRSFXh8wjgoBAQ?= X-IPAS-Result: =?us-ascii?q?A0B5CACbSFhbhivWVdFbHAEBARcBCQEBBQEBhBh/KIN+g22?= =?us-ascii?q?QVoJPiHGEEYgDgXoLBR6HKRkHAQQyFgECAQECAQEBAQETAQEBCAsLCBsOIwyCN?= =?us-ascii?q?SKDCR0BGx4DEhAPAiYCJAERAQUBPYMYAYFmAQMVD6B6gx48iwmBEQUBF4J0BYN?= =?us-ascii?q?TChkmDVeCVAIBBRJ5h3eCF4clGQICgiuCNIJVAo1KjCgHAoYViR9jVQGMQopEh?= =?us-ascii?q?1QPIYEnA1SBLDMaI4EBgjiCM4NOhRSFXh8wjgoBAQ?= X-IronPort-AV: E=Sophos;i="5.51,400,1526335200"; d="scan'208";a="340227412" Received: from mail-it0-f43.google.com ([209.85.214.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jul 2018 11:59:18 +0200 Received: by mail-it0-f43.google.com with SMTP id p81-v6so7830755itp.1 for ; Wed, 25 Jul 2018 02:59:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=GyXoNAUT8OcWUzOU9fLYqziDzeHCyPJlmWNvUe3l+kQ=; b=ltVPYd1ujnqvjFTR8b4O58yUQcBJ4loNKAn8X/OWZWBFafe8fuQHXfL4ApQf5FiGic NYwesnOkHBBtzGibh6OhYzBQgiltdW1XB3+b2PwG3uKIzkJmjzV4kEVJmzycRBYW3G+P PPwpPafYXD15ry7p1gdYR8zj71ry7ECjFC07F1XLQxHQC9Yr4VDQW61Kzp4NHG4fCfXk VN0kSHi5H0dWq0l3oxUcQkYfDKrGZrZUsrJryXqDydJztV7XroX9SEh4TN/R2LvGP+JE 1ZE3nkdbsgCifeDZ9aaZK+scIRodflIOQshdqRinxNmD4XhOIryE2mYmhuMxK8i6HP0M 5MZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=GyXoNAUT8OcWUzOU9fLYqziDzeHCyPJlmWNvUe3l+kQ=; b=IV8paDDdD03Yf1svo6NNdwNkg2pW/K6hlIB/TRuqIHXZ6CxMxVTnGIEM0X3QD36YM1 9JFauIwaZa313keRtSDbBiebcb5Paip/tAZvziytfjctI0xJQNFp2IlEhqQbZmhFQQb6 jnlRfFCaOFSlq5aspwaYDgP23zjUhE1/EfiZQ2VhrgAFxnu3F8FSJdMttwDNscrW9cWP nQWXFpvEzL8BnEudmgfley3MNBWB6PGa5517y+tRkczcmhPzxXHeDMDLnTUMTnNyx93G RXWYXls7gesVkSEZSj5ysAl1d8lZ8bU6RVU4YNYVxa1rhvssACdbY1uehbGqaWm5v94L nAgw== X-Gm-Message-State: AOUpUlHl7VslL2TDz+v7Hun28oAozWCLbpFX8EdnWMYZ0JknGRvL8qYc 0oQon2RiWRD3U9BHYck+0U0fblQie9aaW/yONCoIuw== X-Google-Smtp-Source: AAOMgpc5BrUQMg5qSwgcaaKJV4M3QsABF1fY+3sZgYwt4ZM/ryi/mV5x8e82FO0y53p+XACcbfKjppan+AtueAnnhow= X-Received: by 2002:a02:b4ea:: with SMTP id a39-v6mr19221416jak.95.1532512757363; Wed, 25 Jul 2018 02:59:17 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a02:b604:0:0:0:0:0 with HTTP; Wed, 25 Jul 2018 02:59:16 -0700 (PDT) From: Florent Monnier Date: Wed, 25 Jul 2018 02:59:16 -0700 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Unix.truncate for Windows Reply-To: Florent Monnier X-Loop: caml-list@inria.fr X-Sequence: 17007 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: 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