From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <whitequark@whitequark.org>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 473FD7F057
	for <caml-list@sympa.inria.fr>; Mon, 20 Oct 2014 14:06:43 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  whitequark@whitequark.org) identity=pra;
  client-ip=176.58.103.125;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="whitequark@whitequark.org";
  x-sender="whitequark@whitequark.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  whitequark@whitequark.org designates 176.58.103.125 as
  permitted sender) identity=mailfrom;
  client-ip=176.58.103.125;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="whitequark@whitequark.org";
  x-sender="whitequark@whitequark.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail.whitequark.org) identity=helo;
  client-ip=176.58.103.125;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="whitequark@whitequark.org";
  x-sender="postmaster@mail.whitequark.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiBUADn6RFSwOmd9/2dsb2JhbABcvVUBAQEBAQEGgUKVbYMgAoEnAX2EAgEBAQMBOAI/BQsEBxguLCsGG4gvDMMPAQEBAQYCAR+GI4QRhQ+BDgeESwEEi1yoH4I0gUg4gnoBAQE
X-IPAS-Result: AiBUADn6RFSwOmd9/2dsb2JhbABcvVUBAQEBAQEGgUKVbYMgAoEnAX2EAgEBAQMBOAI/BQsEBxguLCsGG4gvDMMPAQEBAQYCAR+GI4QRhQ+BDgeESwEEi1yoH4I0gUg4gnoBAQE
X-Spam-Status: Yes
X-IronPort-AV: E=Sophos;i="5.04,755,1406584800"; 
   d="scan'208";a="83936326"
Received: from fehu.whitequark.org (HELO mail.whitequark.org) ([176.58.103.125])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Oct 2014 14:06:42 +0200
Received: by mail.whitequark.org (Postfix, from userid 33)
	id 5616310BE45; Mon, 20 Oct 2014 12:06:40 +0000 (UTC)
To: John Whitington <john@coherentgraphics.co.uk>
X-PHP-Originating-Script: 1000:rcube.php
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII;
 format=flowed
Content-Transfer-Encoding: 7bit
Date: Mon, 20 Oct 2014 16:06:40 +0400
From: Peter Zotov <whitequark@whitequark.org>
Cc: caml-list@inria.fr
In-Reply-To: <5444F76D.20904@coherentgraphics.co.uk>
References: <5443FCE6.50206@coherentgraphics.co.uk>
 <11999655bb7ce7053f90d1409045ba91@whitequark.org>
 <5444F76D.20904@coherentgraphics.co.uk>
Message-ID: <98bddccae44b9764b252efd7ad3614c5@whitequark.org>
X-Sender: whitequark@whitequark.org
User-Agent: Roundcube Webmail/1.0.1
Subject: Re: [Caml-list] ANN: exn-source  - exception backtraces with source
  code printing

On 2014-10-20 15:52, John Whitington wrote:
> Noted. I'd like to add functionality like this. The first thing I'm
> going to add is automatic finding of the stdlib, since this just
> requires parsing the output of "ocamlc -config".

I would take this directly from OCaml configuration (module Config,
-package compiler-libs.common). No shelling out needed.

> Unfortunately, I don't believe most OPAM packages install their
> source, just the .mli files. I wonder how much extra space installing
> source would take on average, and if people think it's worth it, for
> this or other reasons.

I think it's mainly due to lack of infrastructure that could install
sources (eg OASIS couldn't easily be coerced into doing that). You could
probably make opam do the grunt work for you; no need to have the 
sources
installed in the same places as mli or binaries!

-- 
Peter Zotov