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 64F827EE51 for ; Sun, 14 Apr 2013 21:18:31 +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: ApEBAOn/alFKN1ZKnGdsb2JhbABQgz2DL74QgRsOAQEBAQEGDQkJFCiCIAEFI1YQCxoCJgICRxAGG4gMBKgRkVyBI41BMweCLjJhA5x3E44Y X-IPAS-Result: ApEBAOn/alFKN1ZKnGdsb2JhbABQgz2DL74QgRsOAQEBAQEGDQkJFCiCIAEFI1YQCxoCJgICRxAGG4gMBKgRkVyBI41BMweCLjJhA5x3E44Y X-IronPort-AV: E=Sophos;i="4.87,471,1363129200"; d="scan'208";a="10917140" 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 21:18:30 +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 899F420DFF05; Sun, 14 Apr 2013 19:18:26 +0000 (UTC) Date: Sun, 14 Apr 2013 20:18:21 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Jonathan Protzenko Cc: William Smith , Caml-list , Gabriel Scherer Message-ID: In-Reply-To: <516AF334.2040202@gmail.com> References: <516AC928.9030400@emu-bark.com> <93F65479FCAB425282517E571DA027D9@erratique.ch> <516AF334.2040202@gmail.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 19:19, Jonathan Protzenko a =C3=A9crit : > The OCaml mode for emacs that's distributed along with the OCaml=20=20 > sources contains (caml.el) : >=20=20 > 796 ;; Newer emacs versions support line/char ranges > 797 ;; We will adapt OCaml to output error messages in a compatible=20=20 > format. > 798 ;; In the meantime we add the new format here in addition to the=20= =20 > old one. > 799 (defconst caml-error-regexp-newstyle > 800 "^[ A-\377]+ \"\\([^\"\n]+\\)\", line \\([0-9]+\\), char=20=20 > \\([0-9]+\\) to line \\([0-9]+\\), char \\([0-9]+\\):" > 801 "Regular expression matching the error messages produced by=20=20 > ocamlc/ocamlopt.") >=20=20 > So there are provisions already in the Emacs mode for parsing=20=20 > multi-line error formats. What refrains us from switching directly to=20= =20 > the format that's recognized by the already-distributed Caml mode ? This discussion is very confusing. There's nothing special to be done here,= it already works=E2=80=A6 The "old" version of the original message does e= xactly what it needs to do to highlight multiline errors.=20=20 Daniel