From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 24CBEBC69; Sun, 22 Apr 2007 16:35:55 +0200 (CEST) Received: from mta1.srv.hcvlny.cv.net (mta1.srv.hcvlny.cv.net [167.206.4.196]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3MEZs3k008192; Sun, 22 Apr 2007 16:35:54 +0200 Return-Receipt-To: sds@gnu.org Received: from loiso.podval.org (ool-182f780f.dyn.optonline.net [24.47.120.15]) by mta1.srv.hcvlny.cv.net (Sun Java System Messaging Server 6.2-6.01 (built Apr 3 2006)) with ESMTP id <0JGW00LI6LVTEH00@mta1.srv.hcvlny.cv.net>; Sun, 22 Apr 2007 10:35:54 -0400 (EDT) Received: by loiso.podval.org (Postfix, from userid 500) id DB7CE21E06B; Sun, 22 Apr 2007 10:35:52 -0400 (EDT) Date: Sun, 22 Apr 2007 10:35:52 -0400 From: Sam Steingold Subject: Re: [Caml-list] backtrace output: feature request In-reply-to: <462B34B1.50805@inria.fr> To: Xavier Leroy Cc: caml-list@inria.fr Reply-To: sds@gnu.org Message-id: MIME-version: 1.0 Content-type: text/plain Content-transfer-encoding: 7BIT Mail-Copies-To: never X-Attribution: Sam X-Disclaimer: You should not expect anyone to agree with me. References: <4626413C.1030606@gnu.org> <462B34B1.50805@inria.fr> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.97 (gnu/linux) X-j-chkmail-Score: MSGID : 462B72CA.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 462B72CA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; backtrace:01 knivre:01 yrebl:01 backtrace:01 toplevel:01 annotations:01 fedora:01 caml-list:01 functions:01 exceptions:01 argument:02 data:02 caml:02 output:02 top-level:02 > * Xavier Leroy [2007-04-22 12:10:57 +0200]: > >> how do I get backtraces on exceptions in then top-level? >> I want to see something like: >> h called g on line 1 >> g called f on line 1 >> f raised invalid_argument on line 1 > > Currently, you cannot. Conceivably, this would be the same mechanism > as outlined above (i.e. making backtrace data available from Caml). > However, you'd get a backtrace in terms of file names and line > numbers, which don't make that much sense for toplevel definitions. yes they do. file=function name. > Functions names don't really exist in compiled code. sure - but file/line annotations do, and they can be easily augmented with function names. -- Sam Steingold (http://sds.podval.org/) on Fedora Core release 6 (Zod) http://truepeace.org http://jihadwatch.org http://pmw.org.il http://openvotingconsortium.org http://iris.org.il http://dhimmi.com Stupidity, like virtue, is its own reward.