From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 122057FAD2 for ; Thu, 23 Oct 2014 13:48:59 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.04,774,1406584800"; d="scan'208";a="102547229" Received: from pl-59055.rocq.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.59.55]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 23 Oct 2014 13:48:58 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.76) (envelope-from ) id 1XhGt0-0002Od-UE for caml-list@inria.fr; Thu, 23 Oct 2014 13:48:58 +0200 Date: Thu, 23 Oct 2014 13:48:58 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20141023114858.GB8128@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <5443FCE6.50206@coherentgraphics.co.uk> <5448BD20.3020603@coherentgraphics.co.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <5448BD20.3020603@coherentgraphics.co.uk> Subject: Re: [Caml-list] ANN: exn-source - exception backtraces with source code printing Hi, John Whitington (2014/10/23 09:32 +0100): > Hi, > > John Whitington wrote: > >Hi, > > > >OCaml 4.02 has new facilities for installing a new backtrace handler, > >and processing the back trace symbolically. As a little proof of > >concept, I've built a package which you can add to any project to get > >backtrace with source code printed and highlighted: > > > >https://github.com/johnwhitington/exn-source This seems very interesting, thanks! > >Here's the start of a backtrace: > > > >http://www.coherentpdf.com/exnsource.png Just wanted to mention that not everybody can look at pictures, so it would be great to show the text itself whenever it'spossible. Thanks, Sébastien.