From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 2E59C7EE51 for ; Mon, 15 Apr 2013 17:37:28 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rathereasy@gmail.com) identity=pra; client-ip=209.85.220.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rathereasy@gmail.com"; x-sender="rathereasy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rathereasy@gmail.com designates 209.85.220.181 as permitted sender) identity=mailfrom; client-ip=209.85.220.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rathereasy@gmail.com"; x-sender="rathereasy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vc0-f181.google.com) identity=helo; client-ip=209.85.220.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rathereasy@gmail.com"; x-sender="postmaster@mail-vc0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtoDAIkdbFHRVdy1lWdsb2JhbABQgzyuaIljAYg4fwgWDgEBAQEHDQkJEiqCHwEBBAFAARsSCwEDAQsGBQQHGiEiAREBBQEKEgYTCQmHbwEDCQYMnW6ML4J7hCAKGScDClmIfgEFDI8HBAeDQQOJBY4AgSGODhYphE4c X-IPAS-Result: AtoDAIkdbFHRVdy1lWdsb2JhbABQgzyuaIljAYg4fwgWDgEBAQEHDQkJEiqCHwEBBAFAARsSCwEDAQsGBQQHGiEiAREBBQEKEgYTCQmHbwEDCQYMnW6ML4J7hCAKGScDClmIfgEFDI8HBAeDQQOJBY4AgSGODhYphE4c X-IronPort-AV: E=Sophos;i="4.87,476,1363129200"; d="scan'208";a="13362606" Received: from mail-vc0-f181.google.com ([209.85.220.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Apr 2013 17:37:27 +0200 Received: by mail-vc0-f181.google.com with SMTP id ia10so4045362vcb.12 for ; Mon, 15 Apr 2013 08:37:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=KzBttcY/jE7BuTtZSBdmW7ycoksmQlBEFQTqKjXM3+U=; b=hV0S6SswX/b+cJrRTLGXyQtUPqf7D+hDGApQK7QdYdDhuHyRXoy2hzhhC2J+92nkmo ulu1oGIi/BlZFhYJxmVeatZuqTj6rmXBWKGWXQwGp7YaeDAnRD630VIfS0+CJ6cVuUjL 0eE+y8SLs4CVHEr9+WwBVe+osatYnNylUjIvgsqQnHl8li4Wuajgw7gNtNgkgozBqRvg ztl+NajNd6K/7gUu9z2npjD8/CfZ7vqQD8PiMCQonmh0QD3/6+ToOUMhGPwLJD0jVR1x GWdSJ7/szndY0ttVWZq5AexBsAVEfBqUQ6MWjFTBkbEIX+mJ3U4jkfPKurWRu135o6qS WVHA== MIME-Version: 1.0 X-Received: by 10.52.100.163 with SMTP id ez3mr13881926vdb.6.1366040246285; Mon, 15 Apr 2013 08:37:26 -0700 (PDT) Received: by 10.220.200.66 with HTTP; Mon, 15 Apr 2013 08:37:26 -0700 (PDT) Received: by 10.220.200.66 with HTTP; Mon, 15 Apr 2013 08:37:26 -0700 (PDT) In-Reply-To: References: <516AC928.9030400@emu-bark.com> Date: Mon, 15 Apr 2013 08:37:26 -0700 Message-ID: From: Jacques Le Normand To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: William Smith , caml Content-Type: multipart/alternative; boundary=20cf307ca044a18f8104da680713 Subject: Re: [Caml-list] modified error messages for ocamlc --20cf307ca044a18f8104da680713 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I'd also like to see the standard gnu way. On Apr 14, 2013 9:26 AM, "Daniel B=FCnzli" wrote: > Le dimanche, 14 avril 2013 =E0 16:20, William Smith a =E9crit : > > Would there be any interest in me making the change everywhere and > submitting it as a patch? > > Not at all... > > > 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-regexp-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 > reporting errors for ranges [1] which is both more compact and recognized > by emacs' compilation-mode. > > Best, > > Daniel > > [1] http://www.gnu.org/prep/standards/standards.html#Errors > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --20cf307ca044a18f8104da680713 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

I'd also like to see the standard gnu way.

On Apr 14, 2013 9:26 AM, "Daniel B=FCnzli&q= uot; <daniel.buenzli@erra= tique.ch> wrote:
Le dimanche, 14 avril 2013 =E0 16:20, William Smith a =E9crit :
> Would there be any interest in me making the change everywhere and sub= mitting it as a patch?

Not at all...

> 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 cur= rent way of reporting allows compilation-mode to perfectly hilight the span= of the error in your source *without* having to tweak the `compilation-err= or-regexp-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 = reporting errors for ranges [1] which is both more compact and recognized b= y emacs' compilation-mode.

Best,

Daniel

[1] http://www.gnu.org/prep/standards/standards.html#Errors<= br>
--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--20cf307ca044a18f8104da680713--