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 429568018B for ; Fri, 23 Jun 2017 21:53:55 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=octa@polychoron.fr; spf=Pass smtp.mailfrom=octa@polychoron.fr; spf=None smtp.helo=postmaster@relay2-d.mail.gandi.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of octa@polychoron.fr) identity=pra; client-ip=217.70.183.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of octa@polychoron.fr designates 217.70.183.194 as permitted sender) identity=mailfrom; client-ip=217.70.183.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; 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@relay2-d.mail.gandi.net) identity=helo; client-ip=217.70.183.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="postmaster@relay2-d.mail.gandi.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AtU3fyRUwOiM1k2IMpSnU40Yinq7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxCCt8tkgFKBZ4jH8fUM07OQ6PG/HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdwIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KlMJwgqJVrhGvqRNxzIHbYp2aOvVlc6PBft4XX3ZNUtpfWiFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4T9oEcBrQekCgawBOPv0DhIhnnr1qA91OQuDR3G0xY7EtIWt3?= =?us-ascii?q?TUqNX0O7sSUeCy1qnIyjPDY+lY2Tfn8YXFdA0qr/+LXbJ1a8XRyE8vGhvKjlWR?= =?us-ascii?q?tYzlPy6V2f8Xv2eH6OpgUOSigHMkpQFpujWj2Nogh4vTio8X1lzI7zh1zYU7KN?= =?us-ascii?q?GiVUJ2ZdGpHINUui2GLYd7QdkuTmVytConybAKpJi2dzUQxps93R7QcfmHfpCI?= =?us-ascii?q?4h39UOaRJi91hGh7d7K7nRmz8VasxvThWcWu1VZFtCtFkt3WunACzRPT7NWISv?= =?us-ascii?q?pn8kenxzmPyxjf6uBCIU8qiarWM4AtzqMym5YJs0nPAjX6lFj1gaKYbEko5+yl?= =?us-ascii?q?5uv/brXjvJCcNot0ig/kMqQpn8yyGeM4PRQSX2eB4um8zLrj/Un5QbpWjv02lb?= =?us-ascii?q?PZsJfcJcgBqK65GRdZ0pw/5BanEzemzNMYkGEbI11ffRKHi5HlO1XPIPDjEfey?= =?us-ascii?q?mE+skTdux/DeJLLtGJTNLn7ZkLfgZ7lx8UBcyBBghexYspldD7VEJPPoRmfwss?= =?us-ascii?q?bZB1k3KV+a2eHiXdJ2yooVWXiIBOfNN6jOuHeQ4eY+KOmLfogT/jjnfat2r8Xy?= =?us-ascii?q?hGM0zAdONZKi2oEaPSi1?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ClBQAAcU1Zh8K3RtleHgYMhDoDgRGDZ?= =?us-ascii?q?bQDLIV4AoMIQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCRAMDIw8BBVELGgI?= =?us-ascii?q?mAgJXEwgBAYobEQyuD4Imi14MIQWBC4Icg0uCDYJ5hTaCR4JhBZ5jc4IBhD+XT?= =?us-ascii?q?IZzlRQCNoEreBFJhR2BdIl8AYEMAQEB?= X-IPAS-Result: =?us-ascii?q?A0ClBQAAcU1Zh8K3RtleHgYMhDoDgRGDZbQDLIV4AoMIQxQ?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCRAMDIw8BBVELGgImAgJXEwgBAYobE?= =?us-ascii?q?QyuD4Imi14MIQWBC4Icg0uCDYJ5hTaCR4JhBZ5jc4IBhD+XTIZzlRQCNoEreBF?= =?us-ascii?q?JhR2BdIl8AYEMAQEB?= X-IronPort-AV: E=Sophos;i="5.39,379,1493676000"; d="scan'208";a="280401199" Received: from relay2-d.mail.gandi.net ([217.70.183.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Jun 2017 21:53:54 +0200 Received: from mfilter18-d.gandi.net (mfilter18-d.gandi.net [217.70.178.146]) by relay2-d.mail.gandi.net (Postfix) with ESMTP id 4320FC5A4E for ; Fri, 23 Jun 2017 21:53:54 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at mfilter18-d.gandi.net Received: from relay2-d.mail.gandi.net ([IPv6:::ffff:217.70.183.194]) by mfilter18-d.gandi.net (mfilter18-d.gandi.net [::ffff:10.0.15.180]) (amavisd-new, port 10024) with ESMTP id mMgBFrTopWCE for ; Fri, 23 Jun 2017 21:53:52 +0200 (CEST) X-Originating-IP: 90.8.9.181 Received: from [192.168.1.18] (AMarseille-655-1-680-181.w90-8.abo.wanadoo.fr [90.8.9.181]) (Authenticated sender: octa@polychoron.fr) by relay2-d.mail.gandi.net (Postfix) with ESMTPSA id CD0E7C5A53 for ; Fri, 23 Jun 2017 21:53:52 +0200 (CEST) To: caml-list@inria.fr References: <21771A83-D685-4776-9CE7-883775F05977@inria.fr> From: octachron Message-ID: Date: Fri, 23 Jun 2017 21:53:51 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-GB Subject: Re: [Caml-list] OCaml release 4.04.2 Unfortunately, the C runtime plugin feature is still woefully undocumented currently. The recent documentation effort focused on (ocaml) compiler plugins, of which the existence was very briefly touched upon in previous version of the documentation but not really documented. And the extended documentation for these compiler plugins will indeed be only available in the 4.06 version of the manual (except if we decide to backport these changes or make available an experimental trunk version of the manual). Le 23/06/2017 à 21:13, Gabriel Scherer a écrit : > I agree, of course, that we should do a better job of documentation > new features as they get merged and not after-the-fact. There was in > fact documentation contributed after-the-fact by Florian Angeletti > (with helpful reviews by Hezekiah M. Carty and Gabriel Radanne, that > in generally has been doing excellent work in the past few years on > improving the state of the manual and documentation. > > https://github.com/ocaml/ocaml/pull/1187 > > (I think that this change to the documentation only exists in the the > trunk version for now, so without explicit backporting it would only > become available in the 4.06.0 manual). >