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 AD9F05D5 for ; Fri, 7 Jun 2019 08:07:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,562,1557180000"; d="scan'208";a="386412810" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Jun 2019 10:04:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9A893826CE; Fri, 7 Jun 2019 10:04:29 +0200 (CEST) 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 EF4B68247D for ; Fri, 7 Jun 2019 10:04:16 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail148154.authsmtp.co.uk IronPort-PHdr: =?us-ascii?q?9a23=3ANayM9x/dB3rYEf9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?0e0cTK2v8tzYMVDF4r011RmVBNydsq4ZwLOM6OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmTaxe65+IRq2oAneq8Uan4VvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ky?= =?us-ascii?q?oMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YBD/QPPehaoIfgqVUOqhiwCgawC+3gzTFImmT73bEj0+QuDQ3KwhAsEtAIvX?= =?us-ascii?q?/JrNv1LqASUeWtwaXGwzvMde1W2Tbg54PVbh0hpfWMXal3ccrJ0UkjGR7Og1KN?= =?us-ascii?q?poz/JTyZz+INvHaV7up7Tu+vjnAoqx1rrTi02scjkJXGhoEPxl/Y8iV5xZ84KN?= =?us-ascii?q?ulQ0B1Zt6kFYFftyCcN4ZuQ8MiRXtouCcgxbEct567Zi4Hw4kkyR7Hc/GKcpaE?= =?us-ascii?q?7gj+WOufOzt0mX1odbGlixqv8UWtxfXwWtep3FpUtCZJj9rBu34X2xDO5MWLVO?= =?us-ascii?q?Fx80ih1DuJygvd8PtLIVoumqreM5MhwqA/lp4UsUnbGS/2hVn2jKqMeUUl/uik?= =?us-ascii?q?9uvqb7b7qpKcOIJ4kBvxMrkymsy/GuQ4NxQOX3CB9eug073v51D5QLZSgv03lK?= =?us-ascii?q?nWrozaKNwaq6KnGQNZz4gu5wyiAzqp09kUh2QLIVJKdR6fiojmIVDOIPT2Dfel?= =?us-ascii?q?hFSslS9myO3cPrL7G5nNKGbMkbn6fbtm7k5T1hYzwspE55JIEL4OPPHzVlXtu9?= =?us-ascii?q?zfCx81Kxa0zPr/CNVhyoMeXnqCDbODP6PXtV+E/+YvI+iXZI8Jozv9MPgk5/v2?= =?us-ascii?q?jXAjg1MdfK+p3YEWaH+iBPhmLV+ZMjLQhYJLXkIDpAkjV6THjFOYUDhcKDz6C4?= =?us-ascii?q?c1/DImE8SLCYnZR4aiqKOM1mG3E8sSLkZHAVeImGzfUIeJV/47Qq6IaptnkzcD?= =?us-ascii?q?UbG6DYgj2B2n8gXz0ZJjI/rV9CxevpXmgotb/erWwFse/CJ1A4y012WWSHls1C?= =?us-ascii?q?tcSyU/maZyvldVz1qf2LNkivdbU9dU4qUaAU8BKZfAwrkiWJjJUQXbc4LMEQ7+?= =?us-ascii?q?G4n0MXQKVts0huQ2TQNlAdz700LG0jajGKMcnL/ND5sxoPqFgirBYv1lwnOD75?= =?us-ascii?q?EPylkrRswUbT+hm7J6/gnXXtKZyhjF0a+3aaQH2TLVsmyEi3eN7hkBAVxAFJ7d?= =?us-ascii?q?VHVaXXP46NHw50fMVbirUOl1NwZdwNWeI6BJLNbuiAcfSQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ACAABEGfpch5qUDT5lGgEBAQEBAgEBA?= =?us-ascii?q?QEHAgEBAQGBUQUBAQEBCwGCelQwKIQViBxfikwGgTWDOYYYhQSKCoF7CQEDAQo?= =?us-ascii?q?BASUIAgEBhEACgmUbBwEEMAkOAQMBAQQBAQIBAQMBEwEBAQgNCQgpIwyCOikBg?= =?us-ascii?q?mYBAQEBAwgCGQVRDQMCCQ0LAgImAgIZIxsCBAEdBYMSAYF2GAEKpwGBADGERkG?= =?us-ascii?q?FKwaBDCgBi1qBD4EHhCM+gmEEhGmCWASOH5p6CQKCDgJdhWSNFYITAZR3LYxhh?= =?us-ascii?q?xOPHgIECwIVgU+CEHBQgm0+gWqFFIkWQDEBgQIFIRMLjjIBAQ?= X-IPAS-Result: =?us-ascii?q?A0ACAABEGfpch5qUDT5lGgEBAQEBAgEBAQEHAgEBAQGBUQU?= =?us-ascii?q?BAQEBCwGCelQwKIQViBxfikwGgTWDOYYYhQSKCoF7CQEDAQoBASUIAgEBhEACg?= =?us-ascii?q?mUbBwEEMAkOAQMBAQQBAQIBAQMBEwEBAQgNCQgpIwyCOikBgmYBAQEBAwgCGQV?= =?us-ascii?q?RDQMCCQ0LAgImAgIZIxsCBAEdBYMSAYF2GAEKpwGBADGERkGFKwaBDCgBi1qBD?= =?us-ascii?q?4EHhCM+gmEEhGmCWASOH5p6CQKCDgJdhWSNFYITAZR3LYxhhxOPHgIECwIVgU+?= =?us-ascii?q?CEHBQgm0+gWqFFIkWQDEBgQIFIRMLjjIBAQ?= X-IronPort-AV: E=Sophos;i="5.63,562,1557180000"; d="scan'208";a="308483519" X-MGA-submission: =?us-ascii?q?MDEK+dmMBMzKITS5sTt79wKV/QjO0cEk5Hq80N?= =?us-ascii?q?G13pq6L6Vx8AaasIsZZ3Ymq4zNTDJEzcxpjn2JACI6q323Nj1blmeqam?= =?us-ascii?q?vqRILkLqAu0gI3T1Y/N17KVQ/a8/O8khBgl5QFom4RchlqzUj1kWa9QR?= =?us-ascii?q?CXdlMMf1+ltLuse98+7B/oWA=3D=3D?= Received: from outmail148154.authsmtp.co.uk ([62.13.148.154]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Jun 2019 10:04:16 +0200 Received: from mail-c233.authsmtp.com (mail-c233.authsmtp.com [62.13.128.233]) by punt17.authsmtp.com. (8.15.2/8.15.2) with ESMTP id x5784FVo076015; Fri, 7 Jun 2019 09:04:15 +0100 (BST) (envelope-from dra-news@metastack.com) Received: from romulus.metastack.com (26.77-31-62.static.virginmediabusiness.co.uk [62.31.77.26]) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id x5784Ei5010471 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 7 Jun 2019 09:04:15 +0100 (BST) (envelope-from dra-news@metastack.com) Received: from Libera ([212.183.132.45]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id x5784Dla008686; Fri, 7 Jun 2019 09:04:14 +0100 X-FEAS-AUTH-USER: From: "David Allsopp" To: "'Markus Elfring'" , =?utf-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Cc: References: <8a8d628c-9e10-f5e7-d47a-f6cfac281206@web.de> <61db8f0b-e493-cab8-47fc-62c976e3904d@web.de> In-Reply-To: <61db8f0b-e493-cab8-47fc-62c976e3904d@web.de> Date: Fri, 7 Jun 2019 09:04:13 +0100 Organization: MetaStack Solutions Ltd. Message-ID: <000001d51d07$99116bd0$cb344370$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQHVHEKDsFqP7rIZ5E6ZHwargZhORKaObkwAgAAqzICAAT1dMA== Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: d7a6fbd5-88fa-11e9-a01e-84349711df28 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgVDAnNE XXkJW1VdQF14U2Nx YQtUIwNffElPQQJt TkpPXVBXCwQmSRkG DhprCxxydgVCf38+ YU5hXT4PWxV8IxQp R1NcHTtXeGZhPWkC AUBZIh5cdABOdxhE awQpVntDbGpCIix9 T1gKaAocbwIKdQ5+ SwQJaFYTWlpeQxIL bBAPFjYuG0IyWyU+ GAE9IwlJfidEZVgu Px5xDmtPPBIlDQNp SmwXVX8BcggqfDYx SxhXVFQVEGgAbylb GAIhOBMdL2YHCnIN VWcSHnn/ X-Authentic-SMTP: 61633634383431.1021:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 62.31.77.26/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. 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: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 17611 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: Markus Elfring wrote: > > Are you sure that String.length xb >=3D 6 ? >=20 > * Do you expect the information =E2=80=9CRaises Invalid_argument if = the string > length is shorter than the passed start position=E2=80=9D? Yes, cf. = https://caml.inria.fr/pub/docs/manual-ocaml/libref/String.html#VALindex_f= rom > * Would an extension become helpful for the documentation of this=20 > function call? Yes - would you be able to make a pull request? David