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 E81FABB81 for ; Tue, 7 Mar 2006 16:55:26 +0100 (CET) Received: from kiruna.synopsys.com (us01smtp2.synopsys.com [198.182.44.80]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k27FtQAH021697 for ; Tue, 7 Mar 2006 16:55:26 +0100 Received: from maiden.synopsys.com (maiden.synopsys.com [146.225.100.170]) by kiruna.synopsys.com (Postfix) with ESMTP id 3993AF49E; Tue, 7 Mar 2006 07:58:01 -0800 (PST) Received: from US01WEBRH1.internal.synopsys.com (localhost [127.0.0.1]) by maiden.synopsys.com (8.9.1/8.9.1) with ESMTP id HAA05156; Tue, 7 Mar 2006 07:55:24 -0800 (PST) Received: from ca05osmium.internal.synopsys.com ([10.44.8.226]) by US01WEBRH1.internal.synopsys.com with Microsoft SMTPSVC(6.0.3790.1830); Tue, 7 Mar 2006 07:55:24 -0800 Received: from [10.44.9.158] ([10.44.9.158]) by ca05osmium.internal.synopsys.com with Microsoft SMTPSVC(5.0.2195.5329); Tue, 7 Mar 2006 10:55:21 -0500 Message-ID: <440DACE9.2070601@synopsys.com> Date: Tue, 07 Mar 2006 10:55:21 -0500 From: Alan Falloon User-Agent: Thunderbird 1.5 (X11/20051201) MIME-Version: 1.0 To: Andries Hekstra Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Line number for index out of bounds References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-OriginalArrivalTime: 07 Mar 2006 15:55:21.0581 (UTC) FILETIME=[8A1621D0:01C641FF] X-Miltered: at nez-perce with ID 440DACEE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocamlexc:01 ocamlexc:01 statically:01 uncaught:01 wrote:01 caml-list:01 exception:01 exceptions:01 alan:01 alan:01 caml:02 caml:02 bounds:02 segmentation:03 fault:04 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=none autolearn=disabled version=3.0.3 Andries Hekstra wrote: > This is better than a C++ program giving a segmentation fault, as one > now knows the reason of the crash. > Of course, I am very curious in which line number of the program this > exception occurs. > Is there any way to get hold of this line number? Maybe ocamlexc can help: http://caml.inria.fr/pub/old_caml_site/ocamlexc/ocamlexc.htm It statically finds uncaught exceptions in your code. -- Alan Falloon