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 484A680125 for ; Wed, 3 May 2017 03:18:32 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.15.15 as permitted sender) identity=mailfrom; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; 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@mout.gmx.net) identity=helo; client-ip=212.227.15.15; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AkyWRaB8b4Btuzv9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?0eMcTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/0hy?= =?us-ascii?q?kIODE37W/ZisJugq1ZoxyvoAdyw5LNYIGQKPZ+fr/RcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUNEeUBOeNYr5Thp1ATsBa+HxOjBOXyxT9Mm3T72q063PolEQHDwQwgA8gCv2?= =?us-ascii?q?/OrNrvMqcdTOS1wbLHzTXGYPJawzH955bUch04p/yHQLF+cdLJxEUxCg/JkE+c?= =?us-ascii?q?pZL7Mz6XzOgBrmiW4/B9We+vk2IrtgJ8rzq1yssyl4XEiZgZxk7K+Ch62oo4K9?= =?us-ascii?q?21RUhmatC+CpRQrTuVN45uT8MiXW5ovCE6x6UDuZ68YSgK1I4rxxHaa/2IaYSI?= =?us-ascii?q?5AzsVPqJLTd5gnJqZq6/ig6s/US91OHwTNe43EhIoyZfj9XBtmoB2wHT58SfT/?= =?us-ascii?q?ty5Eah2TKB1wDJ7eFEJFg5larFJJ4lx74wi4YTvV7YES/sgkr2irKZdkE/9+in?= =?us-ascii?q?7uTmba/qppmCOI9okg3+KLghmtSjAeQkNQgDR3SU9v651L3n5EH5RLRKjuYqkq?= =?us-ascii?q?TCq5DbJcEbprajDANP04Yj7Qy/Dza839gCk3kHNgENRBXShIHsPxnTO/3iFr/r?= =?us-ascii?q?iF2plHJvxuvaFrznGJTEaHbZxuTPZ7F4vm5RzA8u0Zh1/ZtSBrVJdPL+XkrsqJ?= =?us-ascii?q?rSFBY/PwiczOP3TtNwytVNCiq0HqaFPfaK4hez7eU1LrzUaQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DjAwB/LglZhw8P49RcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBhA+BCYNom0Yhl32GJAKEUEMUAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCA0JCCgvgjMggkIBAQEBAgEjWwsJAhgCAiYCAlcGE4oFARAKApJOkVmMCIImh?= =?us-ascii?q?m4BhDIBAQEBBgEBAQEBI4ELhVSCCQuCZYRjgwYughIfBZEWjD6CEJEMinCGY49?= =?us-ascii?q?vhEI2gSsuICxOEgGCTIIiJYFoWIkJAQEB?= X-IPAS-Result: =?us-ascii?q?A0DjAwB/LglZhw8P49RcGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBhA+BCYNom0Yhl32GJAKEUEMUAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMgg?= =?us-ascii?q?kIBAQEBAgEjWwsJAhgCAiYCAlcGE4oFARAKApJOkVmMCIImhm4BhDIBAQEBBgE?= =?us-ascii?q?BAQEBI4ELhVSCCQuCZYRjgwYughIfBZEWjD6CEJEMinCGY49vhEI2gSsuICxOE?= =?us-ascii?q?gGCTIIiJYFoWIkJAQEB?= X-IronPort-AV: E=Sophos;i="5.38,281,1491256800"; d="scan'208";a="222223763" Received: from mout.gmx.net ([212.227.15.15]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 03 May 2017 03:18:31 +0200 Received: from [192.168.1.68] ([187.214.238.35]) by mail.gmx.com (mrgmx001 [212.227.17.190]) with ESMTPSA (Nemesis) id 0Likl3-1ddfZr19ED-00cxsN for ; Wed, 03 May 2017 03:18:30 +0200 From: Helmut Brandl Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Tue, 2 May 2017 20:18:28 -0500 References: <971FC6F9-5D09-42B6-BAF7-1C494B14D14F@gmx.net> <5908E2E0.8050402@inria.fr> To: caml users In-Reply-To: <5908E2E0.8050402@inria.fr> Message-Id: X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:169ToaDVIzxYg+FvVSF/uAOY/EDoN/gz2JTg+YA290oD0zdX+pc tnNAM/zsL/72WQ2LcPsQaDqWBGtGcCjtjDkFQ00hnBtPCP0afGMDCRdGdIXNO1joA+ZOgRp jD0vvgjGT1YFI9Kz1lHczPah3hCSVzyl6DO4FPugn56PO7WfI1PPuk9sNMtqYXaBuCiZNCn +MufSEvJ2F/ShgIU3ptPg== X-UI-Out-Filterresults: notjunk:1;V01:K0:UD89X+RyqWA=:OmrK6U+fRAJ4tp7zGGcKt5 rI7d9bycsKp7x3+E9SCj8xiMdTTZZFhTeRSEFlm3WfWm/UNsTO3c0Scit6DyXks8KzxOGFmB3 oEjxipBZn/EDS8cWls+acsZtF9CL/1nbPMa+9jsLroCHe2BMN0iJOCIlpQJGZIGBa/phLck2A laBSXcl/5dY70RT6kDQIfz5l0gu3Cdhx9enF/vIUnW5eUf6aWj0m1ClLk/IBCs4QM6eAHM0yB GfE8ZUWKNGe2x71ZnhXHFyJuDKUsh1Kdu78KvQV4qa8prHMF7/358zi+cEXkEbyAYIK0h5rVn yGQpWTPL8QH9nzo6m+w8owz36Jkct1M0H1diVUYuYnN50Kr8P9rCeB8NDLI57ZHNyOsHX8oBH boJCh7ZA4Ybn49qNsjReQH/L9e280/psww8O7t2X+5bL6gR5433tgBAvNv1RuYhH5dGABYPu7 ZpQRpaxojJfh7HWMp073j8l8fVnV65oemNfTBEoDHrgmfJwIWCDt90QcZIhNydOP3BhG6BT2G VivCOHpokiU+yXy1DArrObxX/HNNiMEei9SjPoT6lDh5+VPy8b47uPUFaR9RLfZOXYt1T5Fq9 DFI/OBfgOntmpXVAuNnGI/AwUV280oO12PL+GGIy+l7YLwJjwe6UfOUBsXHhrxiXv2inezbrZ xy2og84HNWWD+kAvBOqoD045OWrJA9KBDpe1ifw+qCNTdtayqPMB1udVDMlKo/LoNHA35fngg R4BoFM2S9fuasKbBzJLdZ/AC/DoHB05gzBqNOPZ1WOe24agwv7dINv6gEx9aIzSHmqwnDAYLZ LSbhuOu Subject: Re: [Caml-list] menhir should reference source file and not generated source file > On May 2, 2017, at 14:49, Fran=C3=A7ois Pottier wrote: >=20 >=20 > Hello, >=20 > Le 02/05/2017 19:09, Helmut Brandl a =C3=A9crit : >> I continue to have the problem that any assertion failure reported by the >> runtime system always references the source file of the generated parser >> (i.e. the .ml file) and not the source file (i.e. the .mly file). Is the= re >> any way to ask menhir to use the line numbers of the source file instead= of >> the generated source? >=20 > That's a good question, which I don't think anyone has asked before. >=20 > Looking into this issue, it turns out that if "menhir" is used, then the > generated .ml file does contain appropriate line number information (such > as # 4 "sample.mly"), whereas if "menhir --infer" is used, then this > information is omitted. The difference is observable if Assertion_failure > is raised. This is definitely a bug, which I will look into. > Thanks for reporting this! Thanks for the feedback. I use =E2=80=9C=E2=80=94infer=E2=80=9D because it = has been highly recommended in the manual. Regards Helmut=