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 ADDB97FA5E for ; Tue, 9 May 2017 21:32:45 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.38,316,1491256800"; d="scan'208";a="272384271" Received: from bou78-2-82-240-46-163.fbx.proxad.net (HELO MP-41019.local) ([82.240.46.163]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 09 May 2017 21:32:45 +0200 To: caml-list@inria.fr References: <971FC6F9-5D09-42B6-BAF7-1C494B14D14F@gmx.net> From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <5912195D.5030608@inria.fr> Date: Tue, 9 May 2017 21:32:45 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 MIME-Version: 1.0 In-Reply-To: <971FC6F9-5D09-42B6-BAF7-1C494B14D14F@gmx.net> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] menhir should reference source file and not generated source file Hello, Le 02/05/2017 19:09, Helmut Brandl a écrit : > Is there any way to ask menhir to use the line numbers of the source file instead of the generated source? I believe I have fixed the problem. I am now submitting an updated opam package, which should be available soon. -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/