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 7836D7FF9F for ; Tue, 8 Mar 2016 13:43:24 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.22,556,1449529200"; d="scan'208";a="167620486" Received: from cadillac.paris.inria.fr (HELO [128.93.64.106]) ([128.93.64.106]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 08 Mar 2016 13:43:24 +0100 To: Gabriel Scherer , Vincent Jacques References: Cc: caml users From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <56DEC8EB.4080302@inria.fr> Date: Tue, 8 Mar 2016 13:43:23 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: francois.pottier@inria.fr Subject: Re: [Caml-list] Test coverage of generated lexers/parsers Hello, Le 03/06/2016 11:53 PM, Gabriel Scherer a écrit : > Below very simple patch that will add (*BISECT-IGNORE*) in front of every > line of code generated by Menhir, except those written by the programmer > [...] One could try to have a configuration option to let users write a > fixed string (or comment) at the beginning of each generated code line, This seems to be such a simple change in Menhir that it would be acceptable. -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/