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 928317EE51 for ; Sun, 14 Apr 2013 19:57:53 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail2-smtp-roc.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: ApEBAAntalFKN1ZKnGdsb2JhbAA2GoM8AYMvvhCBGw4BAQEBAQYNCQkUKIIfAQEEASNWBQsLGgImAgJHEAYbiAYGBAgvp1+RXIEjjUEzB4IuMmEDmCaEUROOGA X-IPAS-Result: ApEBAAntalFKN1ZKnGdsb2JhbAA2GoM8AYMvvhCBGw4BAQEBAQYNCQkUKIIfAQEEASNWBQsLGgImAgJHEAYbiAYGBAgvp1+RXIEjjUEzB4IuMmEDmCaEUROOGA X-IronPort-AV: E=Sophos;i="4.87,471,1363129200"; d="scan'208";a="13206113" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Apr 2013 19:57:52 +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 59B8320E003D; Sun, 14 Apr 2013 17:57:46 +0000 (UTC) Date: Sun, 14 Apr 2013 18:57:36 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Gabriel Scherer Cc: William Smith , Caml-list Message-ID: <93F65479FCAB425282517E571DA027D9@erratique.ch> In-Reply-To: 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 18:06, Gabriel Scherer a =C3=A9crit : > > > Would there be any interest in me making the change everywhere and su= bmitting it as a patch? > >=20=20 > > Not at all... > I'm not sure if this is a language barrier thing, or sarcasm/irony > that got lost on the wire, No, it was a true answer, I'm not interesting in having changes introduced = in ocaml that break features that are useful to me *every* day. Namely the = ability of compilation-mode to precisely hilight the span of an error in my= source, without having to tweak my .emacs. (That's said I'd have nothing a= gainst an implementation of gnu's standard).=20=20 =20=20 > 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.=20=20 I still don't understand your issue here. For me everything works pefectly = out of the box, character ranges included (or maybe I never fell on a speci= fic case ?).=20=20 > This is so convenient that I often > feed "ocamlbuild test.byte && ./test.byte" as my compilation command > in my edit-compile-test cycles. Yes, that's also what I do. Best, Daniel