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 8490A1E6 for ; Thu, 6 Jun 2019 14:13:58 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,559,1557180000"; d="scan'208";a="386314953" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jun 2019 16:13:54 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id CF47C826E5; Thu, 6 Jun 2019 16:13:54 +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 D16F48247D for ; Thu, 6 Jun 2019 16:07:38 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Markus.Elfring@web.de; spf=Pass smtp.mailfrom=Markus.Elfring@web.de; spf=None smtp.helo=postmaster@mout.web.de IronPort-PHdr: =?us-ascii?q?9a23=3AqPhCaR8/e51vk/9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1u0cTK2v8tzYMVDF4r011RmVBNydsq4YwLWO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhViDanfL9/Ixq7oQrTu8UKnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gy?= =?us-ascii?q?kFKjE56nnahNFugqJVoByvpBJxzIDbb46XKPVwcbjQfc8DRWdbQspdSyJMD4G6?= =?us-ascii?q?YoASD+QBJ+FYr4zlqlUJtxS+HwqsBP70yjRViXH22aM60/4gEQHA0wwrAtUDvn?= =?us-ascii?q?POo9XvN6cSTPu1wLPHwzXHYfNWwzb96I7Hch06r/CDQ6l/fdDMxkYxDg7IiEib?= =?us-ascii?q?p4/9Pz6NyOgBrnaX4/B+We6xiWMrsRx9rzq1yssxl4XFnoYYx17e+Slkzos5OM?= =?us-ascii?q?e0RFN0bNK+DZdduCCXOo1rSc04WW5oojw1yrgetJ67YicKzJMnygbaa/yAboiI?= =?us-ascii?q?/gjvVeiPLjhjnn5qZaywiw6z8Uim1OL8StG53EhXoiZbiNXAqG4B2h7J5sSaSP?= =?us-ascii?q?Zx5Fqt1SuX2wDW8O5EIEQ0laTBK54mx749jp0dvl7ZHi/1hUX2l7WaeEog+uim?= =?us-ascii?q?8eTnY7PmppCHOo56lA7xKb4ildGhDuggKAgBQ3Cb+fig1L3k5UD2XK9Fjvgykq?= =?us-ascii?q?XAtJDaJN8bprKiDg9O0ocj7g6/AC283NQZm3kHNlNFdwidg4jnIVGdaMz/WNG+?= =?us-ascii?q?iFOoGSxc4PLLMrTWKBnXZizFkbzmeb9mrUlexQY6i9pW/bpQB6EALvO1UUj04o?= =?us-ascii?q?/2FBg8Zim92eX6E51Q0o0EWGSASvu8ObnRrETOy+YhOeiKa6cKtTy7J/VztK2m?= =?us-ascii?q?tmMwhVJIJfrh5pAQcn3tRq06cXXcWmLlh5I6KUlPphA3HL71hVfEXTMBPy/vDZ?= =?us-ascii?q?J53SkyDcedNamGRo2ph+XajiK8A4EQeW1MTFyBQy+xJte0HswUYSfXGfdP1zkN?= =?us-ascii?q?VLyvUYgkhUOxuQW8x7c1d+c=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ByAQDXHPlchwsR49RlHAEBAQQBAQcEA?= =?us-ascii?q?QGBUQcBAQsBgmkUTzIohBSDe4QhjGKDX4V1hVmJMoF7CQEDAQwsAQIBAYRAAoJ?= =?us-ascii?q?jGwcBBDAJDgEDAQEEAQECAQEDARMBAQEIDQkIKSMMgjoigm8BBAEjHQEBESYBB?= =?us-ascii?q?AsLGgImAgJMCwYNCAEBgx6BagEDDhOmHXGBMYJ5AQEFhDMfKyJIgT0JgQwoAYo?= =?us-ascii?q?9gR2BVz+BOIJrPoREgwqCWKkdBwKBM11eklkhghMBilENBYoRLYJzoEaBT4IQM?= =?us-ascii?q?xokT4Jsgg8ahAmKIj0zgQYBAY57AQE?= X-IPAS-Result: =?us-ascii?q?A0ByAQDXHPlchwsR49RlHAEBAQQBAQcEAQGBUQcBAQsBgmk?= =?us-ascii?q?UTzIohBSDe4QhjGKDX4V1hVmJMoF7CQEDAQwsAQIBAYRAAoJjGwcBBDAJDgEDA?= =?us-ascii?q?QEEAQECAQEDARMBAQEIDQkIKSMMgjoigm8BBAEjHQEBESYBBAsLGgImAgJMCwY?= =?us-ascii?q?NCAEBgx6BagEDDhOmHXGBMYJ5AQEFhDMfKyJIgT0JgQwoAYo9gR2BVz+BOIJrP?= =?us-ascii?q?oREgwqCWKkdBwKBM11eklkhghMBilENBYoRLYJzoEaBT4IQMxokT4Jsgg8ahAm?= =?us-ascii?q?KIj0zgQYBAY57AQE?= X-IronPort-AV: E=Sophos;i="5.63,559,1557180000"; d="scan'208";a="386313240" X-MGA-submission: =?us-ascii?q?MDE1XJTEQirQjartTMuNVK9p02bd/ANiR5mubT?= =?us-ascii?q?gWx3GLZ0P2wu299Ggyul6Pl4dWIkfpkOPILVd6d3LdlMSxpo2aq8JLPq?= =?us-ascii?q?NRYNwaNTKmEKMfalzIoBxLpxajK9OBsvhlSDQL2Z+lHauAI90U5O+32d?= =?us-ascii?q?R9MpR3AD8hxHpXW48Rn9L4RQ=3D=3D?= Received: from mout.web.de ([212.227.17.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 06 Jun 2019 16:07:38 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1559830056; bh=VIlS3FO22MF6fKiCsfd8FgAIK4rbGXznbulBQ0rTGm8=; h=X-UI-Sender-Class:Subject:To:Cc:References:From:Date:In-Reply-To; b=P6j4LAlBCNURP+DD3iwGLDrWh45nNnDBrsBAa2RnlGaqVEiYwpSL7Xt/pJEu3Ps1M prEhTfzCG16ov92nRmzKgab2vRC4JX4v6dRy8q6eP1AimT5/PHjRoO2GZcsj6eyt66 zfQTrddUT/ksy0oz3lERcDRlDlKnGbNylnou6aj8= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.4] ([93.131.14.146]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LzK61-1gUqEL1KAz-014W1T; Thu, 06 Jun 2019 16:07:36 +0200 To: =?UTF-8?Q?Nicol=c3=a1s_Ojeda_B=c3=a4r?= Cc: caml-list@inria.fr References: <8a8d628c-9e10-f5e7-d47a-f6cfac281206@web.de> From: Markus Elfring Openpgp: preference=signencrypt Autocrypt: addr=Markus.Elfring@web.de; prefer-encrypt=mutual; keydata= mQINBFg2+xABEADBJW2hoUoFXVFWTeKbqqif8VjszdMkriilx90WB5c0ddWQX14h6w5bT/A8 +v43YoGpDNyhgA0w9CEhuwfZrE91GocMtjLO67TAc2i2nxMc/FJRDI0OemO4VJ9RwID6ltwt mpVJgXGKkNJ1ey+QOXouzlErVvE2fRh+KXXN1Q7fSmTJlAW9XJYHS3BDHb0uRpymRSX3O+E2 lA87C7R8qAigPDZi6Z7UmwIA83ZMKXQ5stA0lhPyYgQcM7fh7V4ZYhnR0I5/qkUoxKpqaYLp YHBczVP+Zx/zHOM0KQphOMbU7X3c1pmMruoe6ti9uZzqZSLsF+NKXFEPBS665tQr66HJvZvY GMDlntZFAZ6xQvCC1r3MGoxEC1tuEa24vPCC9RZ9wk2sY5Csbva0WwYv3WKRZZBv8eIhGMxs rcpeGShRFyZ/0BYO53wZAPV1pEhGLLxd8eLN/nEWjJE0ejakPC1H/mt5F+yQBJAzz9JzbToU 5jKLu0SugNI18MspJut8AiA1M44CIWrNHXvWsQ+nnBKHDHHYZu7MoXlOmB32ndsfPthR3GSv jN7YD4Ad724H8fhRijmC1+RpuSce7w2JLj5cYj4MlccmNb8YUxsE8brY2WkXQYS8Ivse39MX BE66MQN0r5DQ6oqgoJ4gHIVBUv/ZwgcmUNS5gQkNCFA0dWXznQARAQABtCZNYXJrdXMgRWxm cmluZyA8TWFya3VzLkVsZnJpbmdAd2ViLmRlPokCVAQTAQgAPhYhBHDP0hzibeXjwQ/ITuU9 Figxg9azBQJYNvsQAhsjBQkJZgGABQsJCAcCBhUICQoLAgQWAgMBAh4BAheAAAoJEOU9Figx g9azcyMP/iVihZkZ4VyH3/wlV3nRiXvSreqg+pGPI3c8J6DjP9zvz7QHN35zWM++1yNek7Ar OVXwuKBo18ASlYzZPTFJZwQQdkZSV+atwIzG3US50ZZ4p7VyUuDuQQVVqFlaf6qZOkwHSnk+ CeGxlDz1POSHY17VbJG2CzPuqMfgBtqIU1dODFLpFq4oIAwEOG6fxRa59qbsTLXxyw+PzRaR LIjVOit28raM83Efk07JKow8URb4u1n7k9RGAcnsM5/WMLRbDYjWTx0lJ2WO9zYwPgRykhn2 sOyJVXk9xVESGTwEPbTtfHM+4x0n0gC6GzfTMvwvZ9G6xoM0S4/+lgbaaa9t5tT/PrsvJiob kfqDrPbmSwr2G5mHnSM9M7B+w8odjmQFOwAjfcxoVIHxC4Cl/GAAKsX3KNKTspCHR0Yag78w i8duH/eEd4tB8twcqCi3aCgWoIrhjNS0myusmuA89kAWFFW5z26qNCOefovCx8drdMXQfMYv g5lRk821ZCNBosfRUvcMXoY6lTwHLIDrEfkJQtjxfdTlWQdwr0mM5ye7vd83AManSQwutgpI q+wE8CNY2VN9xAlE7OhcmWXlnAw3MJLW863SXdGlnkA3N+U4BoKQSIToGuXARQ14IMNvfeKX NphLPpUUnUNdfxAHu/S3tPTc/E/oePbHo794dnEm57LuuQINBFg2+xABEADZg/T+4o5qj4cw nd0G5pFy7ACxk28mSrLuva9tyzqPgRZ2bdPiwNXJUvBg1es2u81urekeUvGvnERB/TKekp25 4wU3I2lEhIXj5NVdLc6eU5czZQs4YEZbu1U5iqhhZmKhlLrhLlZv2whLOXRlLwi4jAzXIZAu 76mT813jbczl2dwxFxcT8XRzk9+dwzNTdOg75683uinMgskiiul+dzd6sumdOhRZR7YBT+xC wzfykOgBKnzfFscMwKR0iuHNB+VdEnZw80XGZi4N1ku81DHxmo2HG3icg7CwO1ih2jx8ik0r riIyMhJrTXgR1hF6kQnX7p2mXe6K0s8tQFK0ZZmYpZuGYYsV05OvU8yqrRVL/GYvy4Xgplm3 DuMuC7/A9/BfmxZVEPAS1gW6QQ8vSO4zf60zREKoSNYeiv+tURM2KOEj8tCMZN3k3sNASfoG fMvTvOjT0yzMbJsI1jwLwy5uA2JVdSLoWzBD8awZ2X/eCU9YDZeGuWmxzIHvkuMj8FfX8cK/ 2m437UA877eqmcgiEy/3B7XeHUipOL83gjfq4ETzVmxVswkVvZvR6j2blQVr+MhCZPq83Ota xNB7QptPxJuNRZ49gtT6uQkyGI+2daXqkj/Mot5tKxNKtM1Vbr/3b+AEMA7qLz7QjhgGJcie qp4b0gELjY1Oe9dBAXMiDwARAQABiQI8BBgBCAAmFiEEcM/SHOJt5ePBD8hO5T0WKDGD1rMF Alg2+xACGwwFCQlmAYAACgkQ5T0WKDGD1rOYSw/+P6fYSZjTJDAl9XNfXRjRRyJSfaw6N1pA Ahuu0MIa3djFRuFCrAHUaaFZf5V2iW5xhGnrhDwE1Ksf7tlstSne/G0a+Ef7vhUyeTn6U/0m +/BrsCsBUXhqeNuraGUtaleatQijXfuemUwgB+mE3B0SobE601XLo6MYIhPh8MG32MKO5kOY hB5jzyor7WoN3ETVNQoGgMzPVWIRElwpcXr+yGoTLAOpG7nkAUBBj9n9TPpSdt/npfok9ZfL /Q+ranrxb2Cy4tvOPxeVfR58XveX85ICrW9VHPVq9sJf/a24bMm6+qEg1V/G7u/AM3fM8U2m tdrTqOrfxklZ7beppGKzC1/WLrcr072vrdiN0icyOHQlfWmaPv0pUnW3AwtiMYngT96BevfA qlwaymjPTvH+cTXScnbydfOQW8220JQwykUe+sHRZfAF5TS2YCkQvsyf7vIpSqo/ttDk4+xc Z/wsLiWTgKlih2QYULvW61XU+mWsK8+ZlYUrRMpkauN4CJ5yTpvp+Orcz5KixHQmc5tbkLWf x0n1QFc1xxJhbzN+r9djSGGN/5IBDfUqSANC8cWzHpWaHmSuU3JSAMB/N+yQjIad2ztTckZY pwT6oxng29LzZspTYUEzMz3wK2jQHw+U66qBFk8whA7B2uAU1QdGyPgahLYSOa4XAEGb6wbI FEE= Message-ID: <61db8f0b-e493-cab8-47fc-62c976e3904d@web.de> Date: Thu, 6 Jun 2019 16:07:35 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:eBcv0Rd5E4O7ggNTyy6o12ArKX9tPy7JIKtP6HWvAHh8pgKsMKf oMectdAOpX1EG/0Q39pSLpsJ4y5W2nvs8RseU/vKPHt09CwOIo+sF1nhZ+RFeZSSeY8qPhJ QTG8xbxzsCG9fLcRkh+PuJnHIEfQR30PWBE0+9xBdyYgCkVr1G4lWGkazrxoepzLkDiSpsQ soKICFb/pELBxV0TaG0DQ== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:sqf5fJfntBs=:s0D/J+N1ow+eQ6PKSOKveC 83Fp7jQdkj0rI/A9skb2Y6ZkNjqbMJ/qltjvtgkxpqAxP5Jj2guvrT5JNVCYDM2n2Msw3UwZo aR0plOG3F5gPGEZnzO6eUryfGwQT+fnLBxZ5cK6doGAF2vYKoidybnJdQGmUtAT1Ub6iZSJzA q3JPxceZn327UOYIB8eleUdfmpKtq+UO769VSiOxFseB/jzgCw3ton3REtrioiRgRFTqPfIIM FffPjrWxGMy2tjsMZMSA9q5ko7Zg9iHhcGGQJlmldiLQGnCsUI4tZqHriYhg1N7vezTQ9AH5Q QilJYfBIMhvbd/nVY+qnMsu6A9R3iTE8Vu6SPgKA80kSgcP2PxzdcWpzd/KCoZo75sjygop0i V5Y+MLSBlOKKhvdTXBg1RFbpIa14fLmmbKjSVOUoCkrFqcw8WkV83u1t9JGDac/SwCAbaCqKG WY9ga1yvmRHiaQpW0Ehroi/9F+UP+ICInR0kMXMb3gMeEEFnwnZit3I2ZEOCDIAlHjGsZibv4 TUihts5NX4bx7g9l5H1+p/oqPa4oGoQVkOMX4ytB5o/29AOfK+qBGh+lFwed4cbzI1BUx2y8J siBbEKyHI6DihaHJ8xnjQVKHNpRQ9T3t2IrvF4apFHuon/Ly7Ugh+PkastmM93e9qxkfXn2QT 79fAMesTHWfYVgWEJrZTcYaSuqmNCctBInpj78K3XNvTZb5Me2HbYgHSt3TiOALka4ybUxeL7 7tyQ4bKlzDTRL/mRuLevkh8UZsVi0W5Heo8UAGYu4+39rrBB5/foPrj73tCTUSbDi8aKCwhqw JRrcuslPqfJmYRgAAwF1w/Sj7AWEYb3VVuZCfoxL+Cz16WAB//SC9PYSKUxay4FAM9r3m3Vvf iFUzqTBcOe+aml2Jo/mlWJ8IlTKZ4IfS9mi1/mhT0pZP04b1kZP+YWtyv3HIIPVY+gVBvPvCV qfh2/TDCOvPCeFAexCn9qzOAJCDj0lt3dpS8lx2/skj5/ytkMzmrz X-Validation-by: markus.elfring@web.de Subject: Re: [Caml-list] =?UTF-8?Q?Checking_the_usage_of_=E2=80=9CStr=2Ese?= =?UTF-8?Q?arch=5Fforward=E2=80=9D?= Reply-To: Markus Elfring X-Loop: caml-list@inria.fr X-Sequence: 17609 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: > Are you sure that String.length xb >=3D 6 ? * Do you expect the information =E2=80=9CRaises Invalid_argument if the st= ring length is shorter than the passed start position=E2=80=9D? * Would an extension become helpful for the documentation of this function= call? Regards, Markus