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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 42FDA7EE5B for ; Sun, 14 Apr 2013 19:07:17 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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-bk0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQCAFvhalHRVdY2k2dsb2JhbAA2GoM8ryeSGXwIFg4BAQEBBwsLCRQEJIIfAQEEAUABGxILAQMMBgULDQ0hIgERAQUBChIGEwkJh28BAwkGDC+cAIwvgnuDWgoZJwMKWYh+AQUMjlgzB4NBA5cFgSGODhYphDA6 X-IPAS-Result: AgQCAFvhalHRVdY2k2dsb2JhbAA2GoM8ryeSGXwIFg4BAQEBBwsLCRQEJIIfAQEEAUABGxILAQMMBgULDQ0hIgERAQUBChIGEwkJh28BAwkGDC+cAIwvgnuDWgoZJwMKWYh+AQUMjlgzB4NBA5cFgSGODhYphDA6 X-IronPort-AV: E=Sophos;i="4.87,471,1363129200"; d="scan'208";a="10911168" Received: from mail-bk0-f54.google.com ([209.85.214.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Apr 2013 19:07:16 +0200 Received: by mail-bk0-f54.google.com with SMTP id q16so2034133bkw.27 for ; Sun, 14 Apr 2013 10:07:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type:content-transfer-encoding; bh=6HT6Hw0ZxCqNYjrVI0qlf7XZ65tU4crWkCdlDYrusbk=; b=d9U+Ek2gSzD0DwF43afqrT1KEw0gXGa4ccgZ6CsATuAuyTpseYdY9SYkk2IRw8yddO K23Xq+0YRRYUrVGRCFfqgCIbQrVZRYL/Nr54U8Z99LemIgzAStKF6I7ZQyIXM0yVNaEO 8OalVuQDZ3X6nUBqNb6dp2B82b1pxZE3VU/JlKhp3PTeArfDfEqTyGt1pNcehv/qdXUr 3IXtjVzeS3IgSmO5NeEG28rPw4hv6N83dcIqDvvIS8w2ffgYCCmgwe6b2ymv98TauhCw op1vR7rUSAjH5iLR14Sck78WyIbS21o5H1/whWp4lnMwfyADQ67q0AH1hVs5z+5DmGhQ 8lZg== X-Received: by 10.204.173.204 with SMTP id q12mr7033896bkz.74.1365959235798; Sun, 14 Apr 2013 10:07:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.205.83.144 with HTTP; Sun, 14 Apr 2013 10:06:35 -0700 (PDT) In-Reply-To: References: <516AC928.9030400@emu-bark.com> From: Gabriel Scherer Date: Sun, 14 Apr 2013 19:06:35 +0200 Message-ID: To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: William Smith , Caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] modified error messages for ocamlc >> Would there be any interest in me making the change everywhere and submi= tting it as a patch? > > Not at all... I'm not sure if this is a language barrier thing, or sarcasm/irony that got lost on the wire, but my personal reaction would rather be that there indeed is some interest, especially if you follow Daniel's excellent suggestion to respect the standard GNU format for that. On a related note, I have put in http://caml.inria.fr/mantis/view.php?id=3D5044 some hooks for Emacs compile-mode to parse additional error messages that are not supported by default, namely the backtrace format and the location printed in the 'assert false' error message. This is so convenient that I often feed "ocamlbuild test.byte && ./test.byte" as my compilation command in my edit-compile-test cycles. On Sun, Apr 14, 2013 at 6:25 PM, 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 submi= tting 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 err= or messages is not recognized by emacs' compilation-mode. ocaml's current w= ay of reporting allows compilation-mode to perfectly hilight the span of th= e error in your source *without* having to tweak the `compilation-error-reg= exp-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 re= porting 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