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 3415E7F919 for ; Wed, 1 Jun 2016 22:24:19 +0200 (CEST) IronPort-PHdr: 9a23:t3NIeBA4QsrhXhWlBxWoUyQJP3N1i/DPJgcQr6AfoPdwSP7zo8bcNUDSrc9gkEXOFd2CrakU2qyL7Ou5BTZIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nhqbvpNaKP18ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6ozXIZVi0zmxtMAg7KpDX7RYu55iDzs+443CiBIeX3S6o1UHKs9fE4ZgXvjXIuMSI+9in9g8dwjaQT9BunuwZ4xYTda4GUMtJxe6rceZURQm8XDZUZbDBIHo7pN9hHNOEGJ+sN6tCl/1Y= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=antronbachin@gmail.com; spf=Pass smtp.mailfrom=antronbachin@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f54.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of antronbachin@gmail.com) identity=pra; client-ip=209.85.214.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of antronbachin@gmail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-it0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CwBAAdRE9XfzbWVdFdgxGBAn2vCIYchQeBeiKFb4E1OhIBAQEBAQEBAREBAQkLCwkhL4IwggwiER0BGxIMAxIIAQc3AiURAQUBIjWHcgEDFwENoECCB4ExPjGLO4FqglgFh3IKGScNUoNNAQEBBwEBAQEBAQEYAgEFEIgOh0OCVCuCLgWOWYlehgCIIAqBX4RPgnuFaUWNSDCBDycCgjKCElCKNwEBAQ X-IPAS-Result: A0CwBAAdRE9XfzbWVdFdgxGBAn2vCIYchQeBeiKFb4E1OhIBAQEBAQEBAREBAQkLCwkhL4IwggwiER0BGxIMAxIIAQc3AiURAQUBIjWHcgEDFwENoECCB4ExPjGLO4FqglgFh3IKGScNUoNNAQEBBwEBAQEBAQEYAgEFEIgOh0OCVCuCLgWOWYlehgCIIAqBX4RPgnuFaUWNSDCBDycCgjKCElCKNwEBAQ X-IronPort-AV: E=Sophos;i="5.26,403,1459807200"; d="scan'208,217";a="220697497" Received: from mail-it0-f54.google.com ([209.85.214.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Jun 2016 22:24:03 +0200 Received: by mail-it0-f54.google.com with SMTP id g126so145413ite.1 for ; Wed, 01 Jun 2016 13:24:03 -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=NjmLgUarHbkcVOuf/hdR/bXL0rgDmjsU0hxdohVOA7o=; b=i25gqm36kBFwGj6jjVZKadrplJG88Z2eaYYVkqQFcFrmHFVHWDs2JYpRga0h0bmkK2 HLxL8JqXnyMXnry5iOCsV955+zBYzIWySIkkdCfFdlE7IALi0TpsbMgKzCruZYbvjb+R QaDyaLjZJuspderUIXu1HPinkVT8Zc48X2ATd0qKPDuPCj4C9x8wYZirmshIxORxSB6K Mb9g5XxhMVtSCuUr5ySV0VJxInQWilXN/Zvit59/NGzqxRlkNsG+uFxmCan3VHZ+BzwQ mZeUjwDx3PzZazpQYI45aeI7oib9PkfWTWdzKde6YrOjWrL4glXdVFrkinzAE4EiA7Jl ++UQ== 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=NjmLgUarHbkcVOuf/hdR/bXL0rgDmjsU0hxdohVOA7o=; b=OsEPkjBO30ZohC8wCg0bwgpJTWBXPvnjoE0XRFfgZ4cobNT9mZ5VH8wwBz5IbJSrUr rfzRRLf7/VvtLISXhhimQY3itOH4Y8uJUxJ5dpi35tIfVAGERDJSzN8F66235AxIc7Nv dMdkzym61qK/4dwJRasw8Lk+l2aKxnRsiRt0BOwlW+LEDxdM3X/Kt8yRelIubgr2WnLD 9i8dpLecdkc55iIlMb43u8r8U7CShVf58+SXTHaiY8aHLe5Y++wMTxhzUfVY3H+kpCKS T8WLeLEN2lsYswEhWjqQAXIty7AZDmig79x2XAuA2smopT5DQmxcOZM5AjGS3dqPT2Nu L4AQ== X-Gm-Message-State: ALyK8tLWFVtw9j96c5lIZiIwjmJBkv1nla9taqTIRYJnH40xMlIaJ1dG62uTYkR0+xqzDQ== X-Received: by 10.36.139.130 with SMTP id g124mr23382165ite.89.1464812642317; Wed, 01 Jun 2016 13:24:02 -0700 (PDT) Received: from ?IPv6:2601:240:c600:8bd0:ace6:4f92:a7ff:ef4f? ([2601:240:c600:8bd0:ace6:4f92:a7ff:ef4f]) by smtp.gmail.com with ESMTPSA id o2sm12932513ith.19.2016.06.01.13.24.01 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 01 Jun 2016 13:24:01 -0700 (PDT) From: Anton Bachin Content-Type: multipart/alternative; boundary="Apple-Mail=_7EC1629B-13FB-4D0E-8DC8-2577B7C8D331" X-Mao-Original-Outgoing-Id: 486505441.009215-f48c40aaac00682b455ebbb0dc0ae92b Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) Message-Id: Date: Wed, 1 Jun 2016 15:24:01 -0500 To: OCaml Mailing List X-Mailer: Apple Mail (2.2070.6) Subject: [Caml-list] Bisect_ppx: does anybody use point kinds? --Apple-Mail=_7EC1629B-13FB-4D0E-8DC8-2577B7C8D331 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hello fellow Camels, Bisect_ppx has point =E2=80=9Ckinds=E2=80=9D (each point is a match case po= int, or a function point, or an if-then-else point, etc). Does anybody use = this information, or know of a =E2=80=9Creal=E2=80=9D current or historical= use for it? I am not aware of any, and I am considering removing point kin= ds. If you have an opinion, please let me know here on the mailing list, or in = the issue https://github.com/aantron/bisect_ppx/issues/101 . Best, Anton= --Apple-Mail=_7EC1629B-13FB-4D0E-8DC8-2577B7C8D331 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Hello fellow Camel= s,

Bisect_ppx has point= =E2=80=9Ckinds=E2=80=9D (each point is a match case point, or a function p= oint, or an if-then-else point, etc). Does anybody use this information, or= know of a =E2=80=9Creal=E2=80=9D current or historical use for it? I am no= t aware of any, and I am considering removing point kinds.

If you have an opinion, please l= et me know here on the mailing list, or in the issue https://github.com/a= antron/bisect_ppx/issues/101.

Best,
Anton
= --Apple-Mail=_7EC1629B-13FB-4D0E-8DC8-2577B7C8D331--