From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D945180161 for ; Sun, 18 Jun 2017 15:20:01 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zhenya1007@gmail.com; spf=Pass smtp.mailfrom=zhenya1007@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of zhenya1007@gmail.com) identity=pra; client-ip=209.85.161.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of zhenya1007@gmail.com designates 209.85.161.175 as permitted sender) identity=mailfrom; client-ip=209.85.161.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="zhenya1007@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f175.google.com) identity=helo; client-ip=209.85.161.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zhenya1007@gmail.com"; x-sender="postmaster@mail-yw0-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AxQMTBRNLCvTQ9Y0wSUsl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv34rarrMEGX3/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?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXshfWS9PDJ6i?= =?us-ascii?q?YYQTFOcOJ/pUopPnqlcSsRezBw+hD/7vxD9SgX/22LU33es/EQHJwgMgGdIPu2?= =?us-ascii?q?nIotXyKacdSuG1zK/UwjXDc/NZxzb96I7VeR0moPCMXax/cczRyEY1Cg/Jkkmc?= =?us-ascii?q?pI7+MjOa0+QCqWmb7+56We2zjG4nrhh8rz6yzckijYnJg5gaylHC9ShhwYY1I8?= =?us-ascii?q?e4SE9hbtK+HptQrSeXPJZ1TMM6W2xkpjo2x7kctZO4fCUG0okryh/CZ/CdboSF?= =?us-ascii?q?4BLuWeCMKjlinn1lYqiwhxOq/Eig1OL8Us603U5PriVfk9nMsmkB1hzd68SbU/?= =?us-ascii?q?d98Fqt1DSP2gzJ5eFEJkc0laXfK5E/2LI/ip0TsUHbEi/3nkX5krOWe1069uS0?= =?us-ascii?q?7+nreLbrq5+GO4NpiwzyL74iltG9DOk4KgQOWnKU+eW41L3t5035R7BKg+U3k6?= =?us-ascii?q?nZrp/aI8QaqbSkDwNJzoou6Q2yDzij0NsCnHkHKEhJdw6Aj4jsI13OOuz3De+j?= =?us-ascii?q?g1Swlzdm3+zJMafkApXJN3TDlLbhfa1h60NH0woyzdVf54pOBb0bIfLzXFXxtN?= =?us-ascii?q?3CARMjPQy02bWvNNIo8agXXGbHJ6aYNKLUvhes5/kza72HbYoR/TL8MOQN5vj0?= =?us-ascii?q?jHZ/l0VLLoez2p5CRW63E/J3a3+efHDthNwBDWoLuEJqXuznjkyLCGYLOF69Wq?= =?us-ascii?q?s94ncwD4fwXtSLfZyknLHUhHTzJZZRfG0TTwnUSXo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0AQBBfUZZf6+hVdFcHgYMg3s/gQ0Hg?= =?us-ascii?q?2SBNpksBopChDyIIYIRLohbB0EWAQEBAQEBAQEBAQESAQEJCwsIJjFCEIFhJAG?= =?us-ascii?q?CQgQkHQEbHgMBEQkHNwIkAREBBQEiG4oLAQMIBQgQnRGDRT+MCIIEBQEcgwkFg?= =?us-ascii?q?1MKGScNVoN5AgYShgqNRIJCHwWBLAEBAZVthygQCAEBgUcKhV+ML4Jejy+TQRQ?= =?us-ascii?q?fgRUPFgGBO3ReGVuDVTUMH4ICJDYBhUuDbwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A0AQBBfUZZf6+hVdFcHgYMg3s/gQ0Hg2SBNpksBopChDy?= =?us-ascii?q?IIYIRLohbB0EWAQEBAQEBAQEBAQESAQEJCwsIJjFCEIFhJAGCQgQkHQEbHgMBE?= =?us-ascii?q?QkHNwIkAREBBQEiG4oLAQMIBQgQnRGDRT+MCIIEBQEcgwkFg1MKGScNVoN5AgY?= =?us-ascii?q?ShgqNRIJCHwWBLAEBAZVthygQCAEBgUcKhV+ML4Jejy+TQRQfgRUPFgGBO3ReG?= =?us-ascii?q?VuDVTUMH4ICJDYBhUuDbwEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,356,1493676000"; d="scan'208,217";a="228795664" Received: from mail-yw0-f175.google.com ([209.85.161.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Jun 2017 15:20:00 +0200 Received: by mail-yw0-f175.google.com with SMTP id 63so32753459ywr.0 for ; Sun, 18 Jun 2017 06:20:00 -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=BcatBzijrrWrmCqmQULC2QvVSAF7KXyVx7JhTDaX1oc=; b=IgfbBV3y8kYLULToKrqGY0iyBTlrVAjLZXNHTpLlUl3iGF/sNGmyGjD/yeRcrGWDrX u3Wi5vsg1o4mI+6kKhwxP/VlD3VKD73LecS/aj8ll/ws3MmV5OaNv505pX22Ff9tIDWM PHV/stgi7jtBU9+A2TWm0gCCcadvybNz63fCGJ0G4xLvu6iAlESmuzJaMRKmmUHBMOn0 c8wfSfL1W2kYjX+to0xUaCz23cBc7O32w3X5fBN6Onms43sjR9Xd1V5S3t6WPrCFgyRF /AuoQ5D7TCTemPeGuHe22fCScfAVpUdGXGCGvc6zH+HyMScyPkBsHxW7yhT4awWIzlPA LYRw== 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=BcatBzijrrWrmCqmQULC2QvVSAF7KXyVx7JhTDaX1oc=; b=RAoFTdUrqmDwS3S9cw0kG0iiTLWPYbU/XEAaBYFgETw/UFAkCaHkQ6nIWARxcAVUn1 NVZ+Q0KDtzNOhHChW1ktJVCUMu+ps3dYJTXSuBDiBEGdlQ3d0N7LoDH5biW1kko4g+QU lxcreU7HXNPI8dJY6KCyGh7WIQerLKDcRvCyf1Wzmtd9oDbgKcIPpTVEpBpV4GK7qGpU qbe0w+qz/86IJWZBe7E2EE+zz/GVcSQ2r3MP45iFONuP6wGpij3ZoTJl/p3jMUxF5lCj MzJzbrLhWuxkI3bNecERCZSN5tMuTXUZ+xu8T/cAe+/Cy9edRhZlU2ENv1nKcE/71t8t PFqA== X-Gm-Message-State: AKS2vOx5+4y5jLM5cYsm87Zad/nfcqkgdzkqygWkGqheCXew0DF7HmSE /loUsC8wIbZHH0m7pPsT3YlBeG+Was44 X-Received: by 10.129.137.194 with SMTP id z185mr14982768ywf.188.1497791998932; Sun, 18 Jun 2017 06:19:58 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.170.163 with HTTP; Sun, 18 Jun 2017 06:19:58 -0700 (PDT) From: Evgeny Roubinchtein Date: Sun, 18 Jun 2017 09:19:58 -0400 Message-ID: To: OCaml Mailing List Content-Type: multipart/alternative; boundary="94eb2c06c1580b4a3d05523be02c" Subject: [Caml-list] A confusing sentence in documentation of Gc.finalise. --94eb2c06c1580b4a3d05523be02c Content-Type: text/plain; charset="UTF-8" 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 --94eb2c06c1580b4a3d05523be02c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear OCaml users and develop= ers,

The description of Gc.finalise (as can be seen, for examp= le, at http://caml.inria.fr/pub/docs/manual-ocaml/libref/Gc.html), contains = the following statement:

>=C2=A0 The results of calling = String.= make, Bytes.make, <= span class=3D"gmail-constructor">Bytes.create, Array= .make, and ref are guaranteed to be heap-allocated and non-constant _except when the length argument is <= code class=3D"gmail-code">0_ [emphasis mine].

The r= eason I find it confusing is that ref does not take, a "length argumen= t."=C2=A0

My semi-educated guess is that the intended meaning = is something like, "If the length argument of a call to String.make, B= ytes.make, Bytes.create, or Array.make is not 0, the result is guaranteed t= o be heap-allocated and non-constant.=C2=A0 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?=C2= =A0 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
--94eb2c06c1580b4a3d05523be02c--