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 3144F7FA5E for ; Thu, 11 May 2017 21:06:01 +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.17.21; 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.17.21 as permitted sender) identity=mailfrom; client-ip=212.227.17.21; 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.17.21; 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=3A054bzhUpaMav2/0Q8fFCjVHgg87V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRCHt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94VQndPXttKVyxZHIyz?= =?us-ascii?q?c5cPAeQGPeZdtYb9pl0Opga6CQSjAO7jzzlFjWL006InyeQsCR3J0wM9EdwOsn?= =?us-ascii?q?vaotr7OqQcUe6ry6fF1inDb+pT2Tvh6IjEbhIsrPeRVrxwa8rRzkwvGhvHgFqO?= =?us-ascii?q?rYzlOi6V1vgQuGWG9epvT+SvhHMjqwpspTWvxtkjio3MhoII1lDI7z52wJwvKt?= =?us-ascii?q?2+VUF7ZcWpEJRVtyCVLYd2RN0tQ31xtSs817YIt5m7fC0Qx5QmwR7Sc/2Hc46S?= =?us-ascii?q?4hLiTumdOzl4hGh9dLO/nRmy8U+gyurmWsao11ZKqyxImcTPuHAVzxHf9NWLRu?= =?us-ascii?q?Vn8ku/xzqC1Rrf5vxGLEwui6bXNoYtzqAsmpYOq0jOGi37lF/rgKKXakko4PWk?= =?us-ascii?q?5/rob7jgu5SSLZV7ihvkPaQrgsG/Afo3MgwJX2WD/OS806Dj/VHjTLVFi/03nb?= =?us-ascii?q?PVsJbEKsQHvqK5AglV3Zg/6xunETuqzcoUkWMZIF5beh+LlZXlNlPULPzmEPuz?= =?us-ascii?q?m1Gsny1qx/DCML3hGJLNLn3bnbfhY7l970tcyBcvzdxF/J1UEKsOIPTuVU/1r9?= =?us-ascii?q?HYARo5MgOuz+bhFtp9ypsSWXiTDa+BLKPSrViI6/ozLOaWYY8VvC/xK/wk5/71?= =?us-ascii?q?kX80gkQdfKms3ZsPcn+0BPVmI0ODYXrtmNgNC2kKvhAmRuzwlFKCSSJTZ2q1X6?= =?us-ascii?q?8k6DE7EIWmDZvfRoCsnrOBxjy2H5xXZmBDEV+MC23ne5+FW/cKciKSI9VuniYK?= =?us-ascii?q?Vbi7GMcd0kSArgb8RL1mNd3s/TEEtJ/5nIx7/eTVnhYz7npsCNiB0myXZ2ByhG?= =?us-ascii?q?IBATEsivNRu0t4n3eO1a1ln7RyD9VV6/cBBgc3MZvB06pwEdn0VgbpcdKZDlCr?= =?us-ascii?q?XoP1UnkKUtstzopWMA5GENK4g0WGgnOn?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B1AgCwtBRZhhUR49RdFgQBAQEBAgEBA?= =?us-ascii?q?QEIAQEBARUBAQEBAgEBAQEIAQEBAYQMA4EJAYNom3KCPpVFLIV4AoUOQxQBAQE?= =?us-ascii?q?BAQEBAQEBARIBAQEICwsIKC+CMyKCQAEBAQECASNLCwULCxgCAgkdAgJFEgYTE?= =?us-ascii?q?ol3AQMNCgIKpSuMB4ImhmcBSgODQgEBAQEBAQEBAQEBAQEBAQEBAQEBAR2BC4V?= =?us-ascii?q?UggmCcIRjgxIvghIfBYdnDIk0jGOCEIUMjliIKYZpkACEQzaBKy8gLFASAYJRg?= =?us-ascii?q?iIlgWhYiFwBAQE?= X-IPAS-Result: =?us-ascii?q?A0B1AgCwtBRZhhUR49RdFgQBAQEBAgEBAQEIAQEBARUBAQE?= =?us-ascii?q?BAgEBAQEIAQEBAYQMA4EJAYNom3KCPpVFLIV4AoUOQxQBAQEBAQEBAQEBARIBA?= =?us-ascii?q?QEICwsIKC+CMyKCQAEBAQECASNLCwULCxgCAgkdAgJFEgYTEol3AQMNCgIKpSu?= =?us-ascii?q?MB4ImhmcBSgODQgEBAQEBAQEBAQEBAQEBAQEBAQEBAR2BC4VUggmCcIRjgxIvg?= =?us-ascii?q?hIfBYdnDIk0jGOCEIUMjliIKYZpkACEQzaBKy8gLFASAYJRgiIlgWhYiFwBAQE?= X-IronPort-AV: E=Sophos;i="5.38,325,1491256800"; d="scan'208";a="223322941" Received: from mout.gmx.net ([212.227.17.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 11 May 2017 21:06:00 +0200 Received: from [192.168.1.80] ([201.97.160.124]) by mail.gmx.com (mrgmx102 [212.227.17.168]) with ESMTPSA (Nemesis) id 0MWhRH-1dXwPl3MHT-00Xvx4; Thu, 11 May 2017 21:05:59 +0200 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) From: Helmut Brandl In-Reply-To: <5912195D.5030608@inria.fr> Date: Wed, 10 May 2017 21:28:30 -0500 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <708D6E96-AE03-454F-BC96-6C1B63BA0E81@gmx.net> References: <971FC6F9-5D09-42B6-BAF7-1C494B14D14F@gmx.net> <5912195D.5030608@inria.fr> To: =?utf-8?Q?Fran=C3=A7ois_Pottier?= X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:xhcF08NPMdfmpJ3edsDnPjIRBhvsNAfb+IU8STqOZ5UMqxT+KmS fLnHYNewhfUP/xmF67IEVE3CEo+JKqKrVWTuRYTdi+BHX8MwW2GOtfYR9ftXnlgQZNMrPR0 Kd5r9DJ6HwsRE8vB0IHkkGukbwKPi3cNQUy7vO5yJPqmdGeNh0Jv7p1TObxDlqARnRYA9I3 UYoJkg3H29MrDQa4T3ElQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:icCxEDJUU8k=:NZy5c2vrP2MeBZ4YJkiz3m S9gaokFxR48l7racoJlksCtl3DQINOWfVrd2DX01lN7/MXNPuRvVQDwsuf5iJs07TVHe3Xtj6 oDxCjDl6XZMVM7sLdFc3BVkoXRIZ30VFy/rcziqWPk5mSqLUyEMH1erw6T0N0SQqf9Ga8qMBU aUZz+KcjLM22GnkfhU/LxdGkrW44UAwQM01KOgRvEACxkPTlR1VAHHpDHOKoCWQ/ckLJ8opbX 3drNbCeRGGfXapm8kYappAfNIE/30h7jOrkAgbtsYgf+lci/qtn1yHXh76N8WLfAB4ngVUvp2 Pjy+5w0yPIAm/8Vg79MEXmmBqebLb1q2uFgCq+nytBnZZZtMjAI4D90hi2ppeSlbOe8rQheaJ Uwi/99UfpnrR3E6jLFCFlC9C/GaVSeGhVOvo3jZF/gVnGqM3vTS3ABy6NIKR7lXlzenNny0IE WpLjndKCqvq69wfM9R9irn85aCymwZSJupTE32JxH4NTAZ52hW4GTWjspdsWZqrvN7XlyUPKk pAFyDRPlTS4Jnm8IzXGZCpugiTzPLBlSWCBir96QMwia5UpfANbqdMlew9utAgdDLV0efTkcU hl65vv/yIZvJEH37IvUEGbGvlvq4EYiHwzgx+RGS7LjVN80NrFv8moubgRmZGKWGS5UdN3uyc 9YGGGR0nEIDd0+Bbx8f13Mdu3F3ONuUgmNRxFxKKjKt1voDxSV4h8g4hM97bdHOiBE8CwJYpO /X66lHwJ2xVxzdNvRMUZxQAsMBF19CHZJRxrqPewu/ZKAVCM/Ypm3OrrE/L71VNTPft70f3n1 KLlnd1E Subject: Re: [Caml-list] menhir should reference source file and not generated source file Thanks a lot. This makes development more convenient. Regards Helmut > On May 9, 2017, at 14:32, Fran=C3=A7ois Pottier wrote: >=20 >=20 > Hello, >=20 > Le 02/05/2017 19:09, Helmut Brandl a =C3=A9crit : >> Is there any way to ask menhir to use the line numbers of the source fil= e instead of the generated source? >=20 > I believe I have fixed the problem. > I am now submitting an updated opam package, > which should be available soon. >=20 > --=20 > Fran=C3=A7ois Pottier > francois.pottier@inria.fr > http://gallium.inria.fr/~fpottier/ >=20 > --=20 > 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