From: "Sébastien Hinderer" <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] ANN: exn-source - exception backtraces with source code printing
Date: Thu, 23 Oct 2014 13:48:58 +0200 [thread overview]
Message-ID: <20141023114858.GB8128@pl-59055.rocqadm.inria.fr> (raw)
In-Reply-To: <5448BD20.3020603@coherentgraphics.co.uk>
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.
next prev parent reply other threads:[~2014-10-23 11:48 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-19 18:03 John Whitington
2014-10-19 18:26 ` Gabriel Scherer
2014-10-19 18:55 ` John Whitington
2014-10-19 19:05 ` Gabriel Scherer
[not found] ` <54441347.904@coherentgraphics.co.uk>
2014-10-19 19:50 ` Gabriel Scherer
2014-10-20 9:15 ` Nicolas Boulay
2014-10-20 9:35 ` Peter Zotov
2014-10-20 11:52 ` John Whitington
2014-10-20 12:06 ` Peter Zotov
2014-10-20 12:15 ` Francois Berenger
2014-10-20 18:28 ` Török Edwin
2014-10-23 8:32 ` John Whitington
2014-10-23 11:48 ` Sébastien Hinderer [this message]
2014-10-23 16:43 ` Gabriel Scherer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20141023114858.GB8128@pl-59055.rocqadm.inria.fr \
--to=sebastien.hinderer@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox