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 sympa.inria.fr (Postfix) with ESMTPS id C55CB80161 for ; Sun, 18 Jun 2017 15:27:39 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f47.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.47 as permitted sender) identity=mailfrom; client-ip=209.85.214.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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@mail-it0-f47.google.com) identity=helo; client-ip=209.85.214.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f47.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AYaIt/xMCdtqcA4ihhbkl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0IvjyrarrMEGX3/hxlliBBdydsKMbzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXMlRWSxPDI2/?= =?us-ascii?q?YYUSEeQOIf1Vr5Xhq1YUsReyGRWgCeHpxzRVhnH2x6o60+E5HA/HxgMvBMgOsH?= =?us-ascii?q?XKo9XxKawcTPy6zKnWwjXZcfxWwyr25Y/Hch87uv6MR7NwftTVyUU1DAPKklWQ?= =?us-ascii?q?ppL/PzyLzOQAqGeb7+96WuKuj24rsR1+oj+qxso1jITCm4wbylfB9SpjwYY1I8?= =?us-ascii?q?W1SE99Yd6+EZtfrTuWN4VsQs86TGFouTo6yr0buZGgZiQF1JMnxxvZZveacIaI?= =?us-ascii?q?+gruWPiNLTp8nn5oe7Kyiwys/US9xeDwTMa53VRMoyFYiNfDrGoN2AbW6sWfSv?= =?us-ascii?q?ty4EOh2TGX2gDW8O5EIEQ0mbPaK5493rI8j5QTvEvBEyPsl0X2i6iWdkog+ue2?= =?us-ascii?q?8ejofrLmppqEO491jAHxLLgul9ShDegkNgUCRWuW9OSm2LH94EH0T69Gg/I0n6?= =?us-ascii?q?XBtZDVP8Ubpqq3Aw9P1YYj7g6yDzi839sDh3kHLUxKeBadg4jyJ17OIO73De2h?= =?us-ascii?q?jFS2izpryPXGMafgApXJNHTMjLDhfbNl505G1AUz1cxf545TCrwZPP38QErxtN?= =?us-ascii?q?jBAh89Mgy02PrnBc5m1oIeXGKPGrWWPLnTsV+O/OIvIvODaJUbuDbneLAZ4KvD?= =?us-ascii?q?k3A0n05VR66015oRY3CkE/VgaxGLYXfqk95YST9VlgU7Re3uzlaFVGgASWy1Wv?= =?us-ascii?q?cT7zshCY+iRbzIRo23jabJiCiyFIdXa2QAEVuMHG3lba2LXv4NbGSZJco3wW9M?= =?us-ascii?q?bqSoV4J0jULmjwT90bcya7OMoiA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AzAABnfkZZhi/WVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEFAQsBg1EBPnsSB4NkihmRd5V3ghEshXgCgmMHPxgBAQEBAQEBAQEBARIBAQE?= =?us-ascii?q?ICwsIKC+CMyQBgkEBAgMjHQEbHQEDDAYFCwMKAgImAgIhAQERAQUBHAYTihMBA?= =?us-ascii?q?xUQoFQ/jAiCBAUBHIMJBYNTChknDVaDTwEBAQEBBQEBAQEcAgYSeYVYhE40gle?= =?us-ascii?q?FJIJCHwEEniM7ghaFGodIhGeCXo8vi1iHaRQfgRUfgUIwISNeGYRlDBMMggIkN?= =?us-ascii?q?gGJOgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AzAABnfkZZhi/WVdFcHAEBBAEBCgEBFwEFAQsBg1EBPns?= =?us-ascii?q?SB4NkihmRd5V3ghEshXgCgmMHPxgBAQEBAQEBAQEBARIBAQEICwsIKC+CMyQBg?= =?us-ascii?q?kEBAgMjHQEbHQEDDAYFCwMKAgImAgIhAQERAQUBHAYTihMBAxUQoFQ/jAiCBAU?= =?us-ascii?q?BHIMJBYNTChknDVaDTwEBAQEBBQEBAQEcAgYSeYVYhE40gleFJIJCHwEEniM7g?= =?us-ascii?q?haFGodIhGeCXo8vi1iHaRQfgRUfgUIwISNeGYRlDBMMggIkNgGJOgEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,356,1493676000"; d="scan'208";a="279482135" Received: from mail-it0-f47.google.com ([209.85.214.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Jun 2017 15:27:38 +0200 Received: by mail-it0-f47.google.com with SMTP id m62so54355054itc.0 for ; Sun, 18 Jun 2017 06:27:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=d2fBsE0KtkeYJvQTbs8MLIVyFOQCmczxqw1RlhnMdBQ=; b=AKYxgd8Z4+7mOJY7gHHma3JCookhjTCxXEna3/pi1rbz/vaUQonXYwuV2PVQevJ7+I y5dgpfWS3K2vrjNv697al2jFwFhpBANQp8Dh41IAJciMBShb5d+pyYE2b+Df2Dc0HCKi Gup8nvACyexfwvRxYDC3DY/YmO4YVnp6exx++7UkdQeskBPfgJYZDhVYKIeRuJd3JSiO gFevgHmdO08N9wWrNYBSQGXdnzGl8LB8rvQrihTuCYKr4RCHUCVnbQ5UP/l4EgmHgnEY Dl0jYwJy3C2A0JUXmC55M3Y3PW0QEkvu1wIytekZtM/fjXg6cNLQpcInfUEqHqLr6r0D UsEg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=d2fBsE0KtkeYJvQTbs8MLIVyFOQCmczxqw1RlhnMdBQ=; b=hB2bi/AhwmTJGo2js6zHfhMWMdgOwJc6Aa1GUtp3WxwA8Lzjp8wxz8+DHOKFslo2Xk HsZRzLLMWwczjUQvqOSKjTI0qhx2fEWFpGdpA7dTPYnWInNxHSN2g9kSqsi3bpofYUQF RgwWmoQtNbMaa9tDFz2ZM/ojQvrmyQnZJ7QC6yhEV3ktHAJFHbM72n6FzmmjDmr3Hf8O RfSHuS7WJtUqt2e4n+Z8VzI/3EM6cuFT51C8EaHsEfAIp4TvO0i90it3pyDJXGrB/qvR DFcr9QLPrtVxWl92auNG4Ldt1i+HmUG25UoaMqtZQMTfzQ9SIZy/ZtPZfLw4t39HwSH1 L8uA== X-Gm-Message-State: AKS2vOzAlh0nB7dT6gWN6+Xdp+XD55pJ9GCMG0FA9ft/ezS7IvUZUY5P TzoGNNKPnbwiBQmEP71a5fnyBSN3m1Uy X-Received: by 10.36.82.11 with SMTP id d11mr17279837itb.43.1497792457426; Sun, 18 Jun 2017 06:27:37 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.36.132 with HTTP; Sun, 18 Jun 2017 06:26:57 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Sun, 18 Jun 2017 09:26:57 -0400 Message-ID: To: Evgeny Roubinchtein Cc: OCaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] A confusing sentence in documentation of Gc.finalise. Yes, your guess is correct. The best way to get this fixed is to send a pull request against stdlib/gc.mli: https://github.com/ocaml/ocaml/ >From the root of the repository, you can test .mli changes to the manual by using the target make html_doc (contributed by Simon Cruanes) and then opening ./ocamldoc/stdlib_html/index.html in a web browser. On Sun, Jun 18, 2017 at 9:19 AM, Evgeny Roubinchtein wrote: > Dear OCaml users and developers, > > The description of Gc.finalise (as can be seen, for example, at > http://caml.inria.fr/pub/docs/manual-ocaml/libref/Gc.html), contains the > following statement: > >> The results of calling String.make, Bytes.make, Bytes.create, Array.make, >> and ref are guaranteed to be heap-allocated and non-constant _except when >> the length argument is 0_ [emphasis mine]. > > The reason I find it confusing is that ref does not take, a "length > argument." > > My semi-educated guess is that the intended meaning is something like, "If > the length argument of a call to String.make, Bytes.make, Bytes.create, or > Array.make is not 0, the result is guaranteed to be heap-allocated and > non-constant. The result of a call to ref is [always] guaranteed to be > heap-allocated and non-constant." > > Could someone either confirm my guess or tell me that I am mistaken? Also, > if my guess is, in fact, accurate, what's the best way to add my suggested > revision to the "to consider for inclusion into the next version of the > manual" list? > > Thank you in advance! > > -- > Best, > Zhenya