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 DCCE07EF0D for ; Wed, 10 Feb 2016 22:49:28 +0100 (CET) IronPort-PHdr: 9a23:uusuJxaFgyfAjLuSoPNQlCz/LSx+4OfEezUN459isYplN5qZpM69bnLW6fgltlLVR4KTs6sC0LqJ9fu6EjVcvN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDtvcaJKFwU2XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1IaTmIQ2jBBCAjE6lmuV5HttS3wv+F92S+yLMT2SrdyUjOnueMjZxbikiYKM3YC+2HakMFqxPZUqRi7phF7hZXfYIyPOeBWcabUfNdcTm1ECJV/TStEV6q4ZooJR8QbPP1Tr8Gprl8HrB34CxOtH+jv4jtFln743Osx1OF3QlKO5xApA99b6Cecl97yLqpHFLntlKQ= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alain.frisch@lexifi.com; spf=None smtp.mailfrom=alain.frisch@lexifi.com; spf=None smtp.helo=postmaster@mx30.yaziba.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=82.138.71.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=82.138.71.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx30.yaziba.net) identity=helo; client-ip=82.138.71.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@mx30.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0APAQDnr7tWmRVHilJehAxtiFyzFyOFagKBODwQAQEBAQEBAQEQAQEBAQEICwkJIS6CLYIVAQEEOEABEAsYCRYPCQMCAQIBRQYBDAgBAYgbCsBEAQEBAQEBBAEBAQEBAQEVBIYShDeEMIQ8BZZ4hUyCbIUZiSKFUkSNeQI3gi4RCIFJaYhTAQEB X-IPAS-Result: A0APAQDnr7tWmRVHilJehAxtiFyzFyOFagKBODwQAQEBAQEBAQEQAQEBAQEICwkJIS6CLYIVAQEEOEABEAsYCRYPCQMCAQIBRQYBDAgBAYgbCsBEAQEBAQEBBAEBAQEBAQEVBIYShDeEMIQ8BZZ4hUyCbIUZiSKFUkSNeQI3gi4RCIFJaYhTAQEB X-IronPort-AV: E=Sophos;i="5.22,427,1449529200"; d="scan'208";a="202545734" Received: from mx30.yaziba.net ([82.138.71.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 10 Feb 2016 22:49:28 +0100 Received: from mta20.int.yaziba.net (unknown [217.117.151.14]) by mx30.yaziba.net (mx10.yaziba.net) with ESMTP id E0E591A7435; Wed, 10 Feb 2016 22:49:27 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTP id 1541ACA684; Wed, 10 Feb 2016 22:49:28 +0100 (CET) X-Virus-Scanned: amavisd-new at mta20.int.yaziba.net Received: from mta20.int.yaziba.net ([127.0.0.1]) by localhost (mta20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id brel4CZT8My5; Wed, 10 Feb 2016 22:49:27 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTP id E1CFCCA73A; Wed, 10 Feb 2016 22:49:27 +0100 (CET) X-Virus-Scanned: amavisd-new at mta20.int.yaziba.net Received: from mta20.int.yaziba.net ([127.0.0.1]) by localhost (mta20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id qd8Mlwat1Dot; Wed, 10 Feb 2016 22:49:27 +0100 (CET) Received: from [192.168.1.13] (LFbn-1-535-219.w86-245.abo.wanadoo.fr [86.245.27.219]) by mta20.int.yaziba.net (Postfix) with ESMTPSA id 78F91CA684; Wed, 10 Feb 2016 22:49:27 +0100 (CET) To: Anton Bachin , Gabriel Scherer References: <1FE0ECD4-BBD6-48DA-95BD-BB240E07484C@yahoo.com> <1455130851.23513.140.camel@e130.lan.sumadev.de> <16829156-57F5-4517-8263-A367BB552732@yahoo.com> Cc: Gerd Stolpmann , caml users From: Alain Frisch Message-ID: <56BBB064.9070505@lexifi.com> Date: Wed, 10 Feb 2016 22:49:24 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: <16829156-57F5-4517-8263-A367BB552732@yahoo.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeekjedrfedtgdehiecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgdpjgetkgfkueetnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefuvfhfhffkffgfgggjtgfgsehtjegrtddtfeehnecuhfhrohhmpeetlhgrihhnucfhrhhishgthhcuoegrlhgrihhnrdhfrhhishgthheslhgvgihifhhirdgtohhmqeenucffohhmrghinhepghhithhhuhgsrdgtohhmnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] =?UTF-8?Q?=5BANN=5D_Bisect=5Fppx_1=2E0=2E0_?= =?UTF-8?Q?=E2=80=93_Modernized_code_coverage_for_OCaml?= On 10/02/2016 20:33, Anton Bachin wrote: > Assuming this is what Gerd is indeed looking for, I can confirm that > Bisect_ppx > still supports it. See > > https://github.com/rleonid/bisect_ppx/blob/master/doc/advanced.md#unreachable-code > > We preferred to document only BISECT_VISIT (which does the same thing), > in order > to have only option. But both Bisect_ppx and Bisect support BISECT_MARK and > BISECT_VISIT. It's great to see the development of Bisect resurrecting! Did you consider switching to attributes to mark code that must be excluded from the analysis, instead of special comments? This seems simpler than having to scan again the source files, and it could be more robust when interacting with other ppx tools. For instance: - Marking a sub-expression, often using the shorthand syntax: begin[@bisect.visit] ... end - Marking a complete function: let f x = ... [@@bisect.visit] or (in OCaml 4.03): let[@bisect.visit] f x = ... - Marking sections: [@@@bisect.visit.begin] ... [@@@bisect.visit.end] Alain