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 05E7880125 for ; Tue, 2 May 2017 19:09:27 +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.18; 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.18 as permitted sender) identity=mailfrom; client-ip=212.227.15.18; 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.18; 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=3ADhoS1xP2+n4Pva35R+Il6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf7+rarrMEGX3/hxlliBBdydsKMYzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHKzE3/27YhMJtgqxYvhyvoAdyw5LNYIGQKPZ+fr/Rcc0cSGFcXshRTStBAoak?= =?us-ascii?q?YoUNEeUBOeNYr5Thp1ATsBa+HxOjBOXyxT9Mm3T72q063PolEQHDwQwgA8gCv2?= =?us-ascii?q?/OrNrvMqcdTOS1wbLHzTXGYPJawzH955bUch04p/yHQLF+cdLJxEUxCg/JkE+c?= =?us-ascii?q?pZL7Mz6XzOgBrmiW4/B9We+sk2IrtgJ8rzq1yssyl4XEiZgZxk7K+Ch62oo4K9?= =?us-ascii?q?21RUhmatC+CpRQrTuVN45uT8MiXW5ovCE6x6UDuZ68YSgK1I4rxxHaa/2IaYSI?= =?us-ascii?q?5AzsVPqJLTd5gnJqZq6/ig6s/US91OHwTNe43EhIoyZfj9XBtmoB2wHQ58SfT/?= =?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?A0AzCAB3vAhZhxIP49RdHAEBBAEBCgEBG?= =?us-ascii?q?AEFAQsBhA+4Ug6KY0QTAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMggwOBcQyKGAE?= =?us-ascii?q?aAp9vhASOLoZnAYQ9AQEBASOGX4IJiweCEh8FkRaFQIZ+ghCSa4kRhmOPb4RCN?= =?us-ascii?q?4EqLiAsThIBgkyCIoINiWEBAQE?= X-IPAS-Result: =?us-ascii?q?A0AzCAB3vAhZhxIP49RdHAEBBAEBCgEBGAEFAQsBhA+4Ug6?= =?us-ascii?q?KY0QTAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMggwOBcQyKGAEaAp9vhASOLoZnA?= =?us-ascii?q?YQ9AQEBASOGX4IJiweCEh8FkRaFQIZ+ghCSa4kRhmOPb4RCN4EqLiAsThIBgky?= =?us-ascii?q?CIoINiWEBAQE?= X-IronPort-AV: E=Sophos;i="5.38,280,1491256800"; d="scan'208";a="222200587" Received: from mout.gmx.net ([212.227.15.18]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 02 May 2017 19:09:26 +0200 Received: from [192.168.1.68] ([187.214.238.35]) by mail.gmx.com (mrgmx003 [212.227.17.190]) with ESMTPSA (Nemesis) id 0MEFlg-1dGXXg3jNA-00FPZf; Tue, 02 May 2017 19:09:25 +0200 From: Helmut Brandl Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Tue, 2 May 2017 12:09:22 -0500 Message-Id: <971FC6F9-5D09-42B6-BAF7-1C494B14D14F@gmx.net> To: caml users X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:YLg9edRYGgpym2s+/vq0ABtym371FGfnyQeGZpFjzjPgtDLFzcS 5YwJuBz6pAVGMNKZiWT0ngRpq91iL0SeW9+aJM39VwXZzlZIwR/DK7MUrrMLmqYesphBh6Z 8GcmjLC9u8xnZA6x7cTRpJRwYOPgj3H3xPXF9X89cGlQpyGZuI8PMQnwZUIrKIjQBptPb6F NHztCzkZ8L2hisQ2F+iDQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:ik4d2WENchI=:HYyS5r7dYyd3KqgOz9f2Y/ leX9gLy++IFYTnHrKoldqA58JwLSibmOnwy7SBEWmy9mM2QEkIlSU2kLWkNBGtisfDsRlzDeU F3rS+p+/FY5UUsDwi1kpBtfeplXcyskMUGANHOIEMygfFX8wg167bTFkb4md+3U/2KEfQlSJy brmbVFexCY7Yq+ZZM0cXH224Wh7HRTvSHBMGaFUjrQ7whLHPRI/haVXk206RXxldAJTRqJ1kG lILqaYj5rZDHTqDeSvVIhdwGESo1U6CSZ2Evrg+BybvY9HJ7FUElJ+ersk53v6PmKPQY0P8L1 LMjcfeqamfIv2WjvJzfeb5h6CVYwrfA8FAOfj4Smp6aIxTH7P9cBNW51A5szq3J5nPbPRLu4k lE54E0dtXKL1KL4WBSXAcSlYoTAGy5I7BFUVF+2tIZno+/Rrriby68+kd2J9NqQDEvinqP1KD qnpqQW99tqnP8QbCyDi2Wj3IfonVO+E87YL1QGAwoCl9O5okK0mxOfgr3I2o+sAIxxjNjT/mw skfNXgKrbzDI94rBQjM8eDcJj7qfZ7gmP1XB6q08t+yhbsPwO6C3U9ms+/a4i3kN8tHYreTJE jSq7zVnuJvmKrWq4RqQpybzs24/YfpKry3a0rh4p/urWT6k23MK/W8fvTntr8O9r63cXoNPBO OpAGBmhyQYAe0XRvR1cIRSEOFx5WLZmdkOawzRNR2b3bRVkOHzl2m99a0FGEK9TRW0Un/kSm0 4Qqnf0/ccO7Bg3QhtBKKSa8HqMefrgUo3nNk0xrapMBXoT/j/V2DH/FReKVTqT9sM19g5NyQy F7x0Wvp Subject: [Caml-list] menhir should reference source file and not generated source file Hello list, I have switched from ocamlyacc to menhir. Basically the experience is very = positive. However I continue to have the problem that any assertion failure= reported by the runtime system always references the source file of the ge= nerated parser (i.e. the .ml file) and not the source file (i.e. the .mly f= ile). Is there any way to ask menhir to use the line numbers of the source file i= nstead of the generated source? Thanks for any hint. Regards Helmut=