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 390EA7FD92 for ; Fri, 10 Jun 2016 15:46:14 +0200 (CEST) IronPort-PHdr: 9a23:gHLguBPDIXiAwSBv2xYl6mtUPXoX/o7sNwtQ0KIMzox0KPT5rarrMEGX3/hxlliBBdydsKIVzbWJ+P28EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35XxiL/5psGbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzkZgKK4jM5W2QSkxxHSyzE9w2yCpz4ty+/sutmxAGbO9f3RPY6Q2Lxwb1sTUrBjjsAMXYT+WrXi8o42KtdvAimoRZ2yI7VZqmaMfN/euXWetZMFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=antronbachin@gmail.com; spf=Pass smtp.mailfrom=antronbachin@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f178.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of antronbachin@gmail.com) identity=pra; client-ip=209.85.223.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of antronbachin@gmail.com designates 209.85.223.178 as permitted sender) identity=mailfrom; client-ip=209.85.223.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; 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@mail-io0-f178.google.com) identity=helo; client-ip=209.85.223.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-io0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DzAABmxFpXfrLfVdFdgxGBA32vfYYlhQCBehcBCoVxgSg4FAEBAQEBAQEBEQEBCQ0JCSEvgjCCLhEdARseAxIJAQY3AiURAQUBIjWHcwEDFwENnWOCB4ExPjGLO4FqglkFh0UKGScNUoMpAQEBBwEBAQEBAQEYAgEFEIgOCINug02CHAstExiCLwWOYol9hgSIJIFphFKCe4VqRo1mMIEPHoIwghJQAYoHAQEB X-IPAS-Result: A0DzAABmxFpXfrLfVdFdgxGBA32vfYYlhQCBehcBCoVxgSg4FAEBAQEBAQEBEQEBCQ0JCSEvgjCCLhEdARseAxIJAQY3AiURAQUBIjWHcwEDFwENnWOCB4ExPjGLO4FqglkFh0UKGScNUoMpAQEBBwEBAQEBAQEYAgEFEIgOCINug02CHAstExiCLwWOYol9hgSIJIFphFKCe4VqRo1mMIEPHoIwghJQAYoHAQEB X-IronPort-AV: E=Sophos;i="5.26,449,1459807200"; d="scan'208,217";a="180857706" Received: from mail-io0-f178.google.com ([209.85.223.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jun 2016 15:46:13 +0200 Received: by mail-io0-f178.google.com with SMTP id m62so66024900iof.0 for ; Fri, 10 Jun 2016 06:46:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:mime-version:subject:message-id:date:to; bh=oK4+kIoecl6c/s9lfLDmPs3EmZ4ClVD2woW8dp9qoN0=; b=1Eq/F8tADEt4dVwiQfXyR15JwVB2TQwutHEyQRaByx9vm3v3hXp+wnMfPnAxAHBYmB MLmISCfnbXYIgrGjFTb+UONJCfszNdrpaD2o2p8bfEsGVjqBUrkpTatIQs+E9MZj+pb9 i7hi0BXVeHj32DCRevnficca2+otAziwgESgimQ0X7zaXFzT8qNapKZIpUIUjiNueAxO q2QcrSah8a8XNQfij/fjBFkSk88PY+2iLCzAHzE7X92y7aIXqT4vw23/aCakC5nCHZqm 942H1UWg8bJx4etWzBJMa5SpvW5uJQK4FPPxcQYj09wm0oBABvBa/+bPC5YZXrqkzr9a 2QLA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:mime-version:subject:message-id:date:to; bh=oK4+kIoecl6c/s9lfLDmPs3EmZ4ClVD2woW8dp9qoN0=; b=GfMDtbBuJzz9lgTf4lg9botiMcQt4wtQcl5VbEXkRpVFbrkju5pSqWpCmu82E4raZi /xvT13lT07Jlk+vbm09YDyeVGIawdfDr14K9V8SBF+6vh4K/GkA/1ZPBLiu40olx++9I FxkkVhmrG9lpTST7EjpGW4L/o86cwXAlti2MXBBAK/KjdTw8yqAlHMbVmBYXfXSQP2Rx OrVGoJLbOBpFGEKZAVU7N2s/tSkrzYCgU2VnBYs89IefJWhrRyF3qqRQ7K/QrxxqDmrh U5Y+E8drhX8E/IYSRnTveYk32QSA5Xz9LrEcgw6Z7s21lEIIzIMWTybVIggfCaVf/sDN 128Q== X-Gm-Message-State: ALyK8tJPO/GbLoXAtQ51BxLW2eP0ZFz8j+O2qTM3JVRBP9/gv3+GJFhxBkAFhAeUmmCsYw== X-Received: by 10.107.56.131 with SMTP id f125mr4027055ioa.188.1465566371689; Fri, 10 Jun 2016 06:46:11 -0700 (PDT) Received: from ?IPv6:2601:240:c600:8bd0:8d52:5fff:85d0:3658? ([2601:240:c600:8bd0:8d52:5fff:85d0:3658]) by smtp.gmail.com with ESMTPSA id v71sm5588860ith.13.2016.06.10.06.46.11 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Fri, 10 Jun 2016 06:46:11 -0700 (PDT) From: Anton Bachin Content-Type: multipart/alternative; boundary="Apple-Mail=_EC3CB95E-9735-4C21-B133-C4CAB2F78599" X-Mao-Original-Outgoing-Id: 487259170.6133-7c407bf4bbf54115bfaba2e7e3a6f6a2 Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) Message-Id: <27190B91-13B2-4DB6-8794-F72BCB3E9C64@gmail.com> Date: Fri, 10 Jun 2016 08:46:10 -0500 To: OCaml Mailing List X-Mailer: Apple Mail (2.2070.6) Subject: [Caml-list] Bisect_ppx: removing report output formats, etc. --Apple-Mail=_EC3CB95E-9735-4C21-B133-C4CAB2F78599 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hello, We are in the process of removing the following features from Bisect_ppx, a= s we don=E2=80=99t believe they are used: - combine expressions (reporter=E2=80=99s -combine-expr) - XML output - EMMA output - =E2=80=9Cbisect=E2=80=9D output [1] - point kinds (mentioned earlier [2]) We would also like to remove =E2=80=9Cdump=E2=80=9D output, but we are usin= g it internally for testing. Please let me know of any objections. Best, Anton [1]: https://github.com/aantron/bisect_ppx/pull/106 [2]: https://sympa.inria.fr/sympa/arc/caml-list/2016-06/msg00004.html = --Apple-Mail=_EC3CB95E-9735-4C21-B133-C4CAB2F78599 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Hello,

We are in the process of removin= g the following features from Bisect_ppx, as we don=E2=80=99t believe they = are used:

- combi= ne expressions (reporter=E2=80=99s -combine-expr)
- XM= L output
- EMMA output
- =E2=80= =9Cbisect=E2=80=9D output [1]
- point kinds (mentioned= earlier [2])

We = would also like to remove =E2=80=9Cdump=E2=80=9D output, but we are using i= t internally for testing.

Please let me know of any objections.

Best,
Anton


= --Apple-Mail=_EC3CB95E-9735-4C21-B133-C4CAB2F78599--