From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA22766 for caml-redistribution; Wed, 15 Sep 1999 13:53:23 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA20662 for ; Wed, 15 Sep 1999 13:09:01 +0200 (MET DST) Received: from batman.npl.co.uk (batman.npl.co.uk [139.143.5.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id NAA11968 for ; Wed, 15 Sep 1999 13:08:56 +0200 (MET DST) Received: from herschel.npl.co.uk (unknown.npl.co.uk [139.143.1.16] (may be forged)) by batman.npl.co.uk (8.9.2/8.9.2) with ESMTP id MAA04967 for ; Wed, 15 Sep 1999 12:08:07 +0100 (BST) Received: (from root@localhost) by herschel.npl.co.uk (8.8.5/8.8.5) id MAA01450 for ; Wed, 15 Sep 1999 12:07:56 +0100 (BST) Received: by herschel.npl.co.uk XSMTPD/VSCAN; Wed, 15 Sep 1999 11:07:56 GMT Received: (from scg@localhost) by overcast.cise.npl.co.uk (8.8.8/8.8.8) id MAA15817 for caml-list@inria.fr; Wed, 15 Sep 1999 12:10:23 +0100 (BST) Date: Wed, 15 Sep 1999 12:10:23 +0100 (BST) From: Steve Gardner Message-Id: <199909151110.MAA15817@overcast.cise.npl.co.uk> To: caml-list@inria.fr Subject: string function documentation X-Sun-Charset: US-ASCII Sender: weis The following behaviour is clearly correct, but I think it is undocumented: Various functions in the String and Str modules accept "String.length s" as a valid character index for "s". For example, Str.string_match regexp s (String.length s) does not raise an Invalid_argument exception, but returns true or false depending on whether regexp allows an empty string. As mentioned above, I see that this is correct. Should the documentation should be changed to mention this behaviour? Thanks, Steve -- Steve Gardner Centre for Information Systems Engineering steve.gardner@npl.co.uk National Physical Laboratory Tel: +44 20 8943 7060 Teddington, Middlesex, TW11 0LW, UK Fax: +44 20 8977 7091 http://www.npl.co.uk/npl/cise/ "The contents of the above message are my views alone and should not be taken as representing the views held by NPL Management Ltd."