From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 4BC97BBBB for ; Sun, 12 Mar 2006 12:02:32 +0100 (CET) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k2CB2PIf023792 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Sun, 12 Mar 2006 12:02:31 +0100 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1FIOL4-0001uL-00 for ; Sun, 12 Mar 2006 11:02:18 +0000 Date: Sun, 12 Mar 2006 11:02:18 +0000 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Line number for index out of bounds Message-ID: <20060312110215.GA7284@furbychan.cocan.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.9i From: Richard Jones X-Miltered: at nez-perce with ID 4413FFC1.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; syntax:01 ocaml:01 inlined:01 notepad:01 2006:98 wrote:01 caml-list:01 clearer:01 behaviour:01 jambon:01 jambon:01 native:02 slightly:02 bounds:02 bounds:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=SPF_FAIL autolearn=disabled version=3.0.3 On Sun, Mar 12, 2006 at 02:17:37AM -0800, Martin Jambon wrote: > The syntax uses "#" instead of ".", but you can change this, if you don't > want to change your program. There is also an option which allows you to > restore the native mode. It's all there: > > http://martin.jambon.free.fr/ocaml.html#bounds Slightly clearer description here :-) http://martin.jambon.free.fr/pa_bounds/README It'd be really nice to have this as the default behaviour of array and string accesses ... Since these are inlined, it seems like the only penalty would be space for storing the location numbers. Rich. -- Richard Jones, CTO Merjis Ltd. Merjis - web marketing and technology - http://merjis.com Team Notepad - intranets and extranets for business - http://team-notepad.com