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 6DD547FA5E for ; Fri, 21 Apr 2017 21:23:01 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Neutral smtp.mailfrom=e@x80.org; spf=None smtp.helo=postmaster@cc-tupan-roaming-a.ensmp.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of e@x80.org) identity=pra; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of e@x80.org does not assert whether or not 194.214.158.137 is permitted sender) identity=mailfrom; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; 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@cc-tupan-roaming-a.ensmp.fr) identity=helo; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="postmaster@cc-tupan-roaming-a.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AuFIQ0xAQF7YCWaKsQVJ0UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT6o8bcNUDSrc9gkEXOFd2CrakV16yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWTJcDIO7?= =?us-ascii?q?YYsBAegOM+VWoIbyu1QDtge+CRW2Ce/z1jNFnH370Ksn2OohCwHG2wkgEsoQv3?= =?us-ascii?q?nPo9T4N7seXfqyzKnSwjXIcvda1zj46IjJdhAhoPaMVq90f8XP0kk3DRjFhUiR?= =?us-ascii?q?p4P/OzOV0voCs2ec7+F9Se+vkW8npBtqojSqwMonl4rHhpoNx1zZ8Sh0z5w5Kc?= =?us-ascii?q?OlREN0e9KoDZtduiKAO4drTM4vQXlktSU7x7EcuJO2fjIGxZA9yxLBd/CKd46F?= =?us-ascii?q?6Q/5WumLOzd3nndldaq/hxms9UigzfXxWdWo31pTsipFj8HMuWoL1xDK8MiHTe?= =?us-ascii?q?Fy/kKg2TaJ2ADf8/tLLVoqmqrdMJ4hx6YwmoAdsUTZBiP2mUP2g7GKdkg85+Sl?= =?us-ascii?q?7+vqbq/4qpOBOIJ4kBzyP6Qtl8ClHOg1PAoDU3Ce+eum1b3j+UP5QK9Njv0ziq?= =?us-ascii?q?TWrovXJMsYq6KlGQNV1Zwj6xmnAze8zNsYhWUHLE5CeB+fk4fmIVTOIPThAfe7?= =?us-ascii?q?glSsiytryuvdPrzhB5XNNmLMnK3gfbZ78U5cyRA8wcpR55JOWfk9J6e5ekj3u9?= =?us-ascii?q?bfRi05Ogq7i9KnIvFa8aY0dFigNujRb/iL+Xul1tZuaaHYZJ0VsTDycal4z/Tq?= =?us-ascii?q?ing8k1IHcu+v0IdBO16iGfEzLm2JMSKqhc0OWScnuws6TeuiqlCZwyUbSH+2W6?= =?us-ascii?q?8z4XkSEoOvFsaQFciWnLWd0XLjTdVtbWdcBwXJSC+weg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CRAADUWvpYl4me1sJcHgYMGQYMlAWdX?= =?us-ascii?q?4sJhiQChE4UAQEBAQEBAQEBAQESAQEBAQEIFgZXgjMiAYJAAwN5EAshJQ8BBEk?= =?us-ascii?q?nB4oFrCiLHwExij+BCoo8BZ1AAaRdlBk2gSdwTIR5gXGKKQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CRAADUWvpYl4me1sJcHgYMGQYMlAWdX4sJhiQChE4UAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEBAQEIFgZXgjMiAYJAAwN5EAshJQ8BBEknB4oFrCiLHwExi?= =?us-ascii?q?j+BCoo8BZ1AAaRdlBk2gSdwTIR5gXGKKQEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,230,1488841200"; d="scan'208";a="221130095" Received: from jiboia.ensmp.fr (HELO cc-tupan-roaming-a.ensmp.fr) ([194.214.158.137]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Apr 2017 21:23:00 +0200 Received: from rochefort (209.9.67.86.rev.sfr.net [86.67.9.209]) (authenticated bits=0) by cc-tupan-roaming-a.ensmp.fr (8.15.2/8.15.1/JMMC-22/Oct/2013) with ESMTPSA id v3LJMtj7008336 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Fri, 21 Apr 2017 21:22:56 +0200 From: e@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) To: "Hongbo Zhang \(BLOOMBERG\/ 731 LEX\)" Cc: caml-list@inria.fr Organization: X80 Heavy Industries References: <58FA282A021A076200390603_0_57023@msllnjpmsgsv06> X-Url: https://x80.org/emilio/ Mail-Followup-To: "Hongbo Zhang \(BLOOMBERG\/ 731 LEX\)" , caml-list@inria.fr Date: Fri, 21 Apr 2017 21:22:55 +0200 In-Reply-To: <58FA282A021A076200390603_0_57023@msllnjpmsgsv06> (Hongbo Zhang's message of "Fri, 21 Apr 2017 15:41:30 -0000") Message-ID: <871ssl8t0w.fsf@rochefort> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Miltered: at cc-tupan-roaming-a.ensmp.fr with ID 58FA5C0F.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Auth: USER-ID emilio.gallego_arias X-j-chkmail-Enveloppe: 58FA5C0F.000 from 209.9.67.86.rev.sfr.net/209.9.67.86.rev.sfr.net/86.67.9.209/rochefort/ Subject: Re: [Caml-list] PPX is harmful to our community in the long term Hi all, indeed I think this problem is real as I have been trying to design a plan for Coq 8.8 (expected Q1 2018) to depend on PPX, and indeed it has not been easy to come up with something that wouldn't be turned down by the developers due to compatibility concerns. It is great to hear that ocaml-migrate-parsetree helps and that the situation is improving, but maybe the biggest concern would Coq adopt that solution, is how fast would it become "obsolete", to be replaced by a new one. >From my attendance to the Coq WG I got the personal feeling that there was some amount of uncertainty about what the OCaml roadmap regarding certain features is. This in turn difficults the elaboration of Coq's own roadmap. Best regards, Emilio