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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 59926BB9A for ; Tue, 8 Nov 2005 11:35:14 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jA8AZDcU011882 for ; Tue, 8 Nov 2005 11:35:13 +0100 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 LAA00960 for ; Tue, 8 Nov 2005 11:35:13 +0100 (MET) Received: from smtp3.adl2.internode.on.net (smtp3.adl2.internode.on.net [203.16.214.203]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jA8AZBXQ015643 for ; Tue, 8 Nov 2005 11:35:12 +0100 Received: from rosella (ppp7-104.lns1.syd7.internode.on.net [59.167.7.104]) by smtp3.adl2.internode.on.net (8.12.9/8.12.6) with ESMTP id jA8AYueY028014; Tue, 8 Nov 2005 21:04:57 +1030 (CST) (envelope-from skaller@users.sourceforge.net) Subject: Re: [Caml-list] Seeking exception source From: skaller To: Nicolas Cannasse Cc: Alessandro Baretta , caml-list@inria.fr In-Reply-To: <002201c5e44c$25f15eb0$0c05a8c0@PWarp> References: <1131416033.23991.57.camel@rosella> <001e01c5e443$c7259d40$0c05a8c0@PWarp> <43707E30.2040405@barettadeit.com> <002201c5e44c$25f15eb0$0c05a8c0@PWarp> Content-Type: text/plain Date: Tue, 08 Nov 2005 21:34:55 +1100 Message-Id: <1131446095.31394.5.camel@rosella> Mime-Version: 1.0 X-Mailer: Evolution 2.4.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 43707F61.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43707F5F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 cannasse:01 bytecode:01 ocamlrun:01 backtrace:01 terminate:01 uncaught:01 misses:01 backtrace:01 wrote:01 sourceforge:01 exception:01 exception:01 exceptions:01 exceptions:01 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 On Tue, 2005-11-08 at 19:06 +0900, Nicolas Cannasse wrote: > >>> I am occasionally annoyed by Not_found propagating to my > >>> top level function .. meaning the error could be anywhere > >>> at all in my program. > >> > >> > >> At that time the best is to run your program in bytecode with debug infos > >> using ocamlrun -b so you'll get full backtrace informations. > > > > In many cases this is completely inadequate. The AS/Xcaml application > > server, for example, cannot terminate on an uncaught exception in a > > program module. > Yes I agree, this is not all the time easy to get exceptions backtraces However all of this misses what I seek, which is a way to *manually* add backtrace information. In addition to the annoying errors leading to Not_found exceptions, there are other exceptions which are supposed to be caught and sometimes leak, and in addition, there are exceptions which are thrown when there are USER errors, and these are caught in the top level and reported. That's where I want the backtrace .. I want to unwind it manually. -- John Skaller Felix, successor to C++: http://felix.sf.net