From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <petchema@concept-micro.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none 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 31224BC0B
	for <caml-list@yquem.inria.fr>; Sun, 21 Jan 2007 19:53:59 +0100 (CET)
Received: from ns.graphicgalerie.com (ns.graphicgalerie.com [88.191.26.11])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0LIrkC9020408
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
	for <caml-list@yquem.inria.fr>; Sun, 21 Jan 2007 19:53:59 +0100
Received: from polo.concept-micro.com (ABordeaux-103-1-3-224.w193-252.abo.wanadoo.fr [193.252.175.224])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by ns.graphicgalerie.com (Postfix) with ESMTP id 222D7BB432A
	for <caml-list@yquem.inria.fr>; Sun, 21 Jan 2007 19:53:43 +0100 (CET)
Date: Sun, 21 Jan 2007 19:53:40 +0100
From: Pierre =?ISO-8859-15?B?RXRjaGVtYe906Q==?= <petchema@concept-micro.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] native-code stack backtraces (was: Ocaml compiler
 features)
Message-Id: <20070121195340.5af5c1f5.petchema@concept-micro.com>
In-Reply-To: <45B39DB8.7000409@inria.fr>
References: <45A87011.8080203@gmail.com>
	<20070115103556.GB12311@furbychan.cocan.org>
	<20070115142434.GA1753@snarc.org>
	<wwuejpvbbrt.fsf@tandem.cs.ru.nl>
	<20070116090803.GB14494@snarc.org>
	<45B39DB8.7000409@inria.fr>
Organization: Concept Micro 33 SARL
X-Mailer: Sylpheed version 2.3.0beta5 (GTK+ 2.8.20; i486-pc-linux-gnu)
X-TRP: honey@concept-micro.com
X-Face: "1<D_YW=(Z@$kl':M7Gci`gAa"U.$bCElfWd@{578%xR_9MHE`RMTfG%f.dMf^xIS("~Dw$
 sCx~,%u0+T^YTq]o
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
X-Miltered: at discorde with ID 45B3B6C6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; native-code:01 stack:01 ocaml:01 compiler:01 0100,:01 ocamlopt:01 backtrace:01 uncaught:01 ocaml:01 printexc:01 backtrace:01 debugging:01 exception:01 caml-list:01 exceptions:01 

	Hi,

Le Sun, 21 Jan 2007 18:07:04 +0100, Xavier Leroy <Xavier.Leroy@inria.fr> a écrit :

> You'll be pleased to
> learn that I've been working recently on exception backtraces for
> ocamlopt.  The code (nearly finished) currently sits in the
> "opt_backtrace" branch of the repository and should be part of
> release 3.10.

Now, that's an excellent news!

Will backtraces  still be only available to uncaught exceptions ?
Sometimes it'd be useful to have backtraces in other cases, to
understand what's going on.

Not to get backtraces for all exceptions! Since exceptions have many
uses in OCaml, that would be uselessly painful :)

But maybe something like Printexc.to_string_with_backtrace (or
Printexec.to_string ~backtrace:true ?), so that debugging code could
decide to report, or log, backtraces of chosen exceptions...

Best regards,
Pierre.