From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
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 8A9FA7EE51
	for <caml-list@sympa.inria.fr>; Sun, 14 Apr 2013 18:25:49 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApEBAPjXalFKN1ZKnGdsb2JhbABQgzwBgy++EIEaDgEBAQEBBg0JCRQogh8BAQQBI1YFCwsODAImAgJHEAYbAYgFBgQIqAqRU4EjjUEzB4IuMmEDnHcTjhg
X-IPAS-Result: ApEBAPjXalFKN1ZKnGdsb2JhbABQgzwBgy++EIEaDgEBAQEBBg0JCRQogh8BAQQBI1YFCwsODAImAgJHEAYbAYgFBgQIqAqRU4EjjUEzB4IuMmEDnHcTjhg
X-IronPort-AV: E=Sophos;i="4.87,471,1363129200"; 
   d="scan'208";a="10909510"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Apr 2013 18:25:48 +0200
Received: from [172.20.10.2] (94.197.127.134.threembb.co.uk [94.197.127.134])
	by smtp.webfaction.com (Postfix) with ESMTP id 4A41A2078718;
	Sun, 14 Apr 2013 16:25:46 +0000 (UTC)
Date: Sun, 14 Apr 2013 17:25:43 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: William Smith <bills@emu-bark.com>
Cc: Caml-list <caml-list@inria.fr>
Message-ID: <A1F099272F714E17B019C4C065ADF12E@erratique.ch>
In-Reply-To: <516AC928.9030400@emu-bark.com>
References: <516AC928.9030400@emu-bark.com>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] modified error messages for ocamlc

Le dimanche, 14 avril 2013 =C3=A0 16:20, William Smith a =C3=A9crit :
> Would there be any interest in me making the change everywhere and submit=
ting it as a patch?

Not at all...
=20=20
> One concern I have is that it might break automated test scripts.

That may be the case but more importantly your fancy way of reporting error=
 messages is not recognized by emacs' compilation-mode. ocaml's current way=
 of reporting allows compilation-mode to perfectly hilight the span of the =
error in your source *without* having to tweak the `compilation-error-regex=
p-alist` variable. That's not the case of your format.

If something has to be changed I'd rather have the gnu standard way of repo=
rting errors for ranges [1] which is both more compact and recognized by em=
acs' compilation-mode.

Best,

Daniel

[1] http://www.gnu.org/prep/standards/standards.html#Errors