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 4E4C77FAD2 for ; Thu, 23 Oct 2014 10:32:35 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of john@coherentgraphics.co.uk) identity=pra; client-ip=188.64.184.40; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="john@coherentgraphics.co.uk"; x-sender="john@coherentgraphics.co.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of john@coherentgraphics.co.uk) identity=mailfrom; client-ip=188.64.184.40; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="john@coherentgraphics.co.uk"; x-sender="john@coherentgraphics.co.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bluechip4.ukhost4u.com) identity=helo; client-ip=188.64.184.40; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="john@coherentgraphics.co.uk"; x-sender="postmaster@bluechip4.ukhost4u.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4BAJG8SFS8QLgoemdsb2JhbABcg2JYzHuHTQKBDhYBEQEBCwcNCUKEAwEBBDhAARALBxEJFg8JAwIBAgFFBg6ISgEIyAoBAQEBAQEEAQEBAQEBARuQVgeESwWWS45+kHWBRWsBgkoBAQE X-IPAS-Result: Ak4BAJG8SFS8QLgoemdsb2JhbABcg2JYzHuHTQKBDhYBEQEBCwcNCUKEAwEBBDhAARALBxEJFg8JAwIBAgFFBg6ISgEIyAoBAQEBAQEEAQEBAQEBARuQVgeESwWWS45+kHWBRWsBgkoBAQE X-IronPort-AV: E=Sophos;i="5.04,774,1406584800"; d="scan'208";a="102510527" Received: from bluechip4.ukhost4u.com ([188.64.184.40]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Oct 2014 10:32:34 +0200 Received: from [86.26.5.13] (port=60648 helo=[192.168.0.3]) by bluechip4.ukhost4u.com with esmtpsa (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) (Exim 4.82) (envelope-from ) id 1XhDow-000Hpi-02; Thu, 23 Oct 2014 09:32:34 +0100 Message-ID: <5448BD20.3020603@coherentgraphics.co.uk> Date: Thu, 23 Oct 2014 09:32:32 +0100 From: John Whitington User-Agent: Postbox 3.0.11 (Macintosh/20140602) MIME-Version: 1.0 To: John Whitington CC: "caml-list@inria.fr" References: <5443FCE6.50206@coherentgraphics.co.uk> In-Reply-To: <5443FCE6.50206@coherentgraphics.co.uk> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - bluechip4.ukhost4u.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - coherentgraphics.co.uk X-Get-Message-Sender-Via: bluechip4.ukhost4u.com: authenticated_id: john@coherentgraphics.co.uk Subject: Re: [Caml-list] ANN: exn-source - exception backtraces with source code printing 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 > > Here's the start of a backtrace: > > http://www.coherentpdf.com/exnsource.png > > By default, it prints five lines either side, and looks the current > directory for source code. Have cut a v0.1, now in OPAM "opam install exn-source". a) Now finds the stdlib automatically; b) Fixed to underline multiple-line errors; c) Compiles with -linkall so activated merely by linking. Thanks, -- John Whitington Director, Coherent Graphics Ltd http://www.coherentpdf.com/