From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 62F3C7EEB9 for ; Tue, 27 Oct 2015 00:50:42 +0100 (CET) IronPort-PHdr: 9a23:E1pENRakbdx2t9Fe1kCpCyD/LSx+4OfEezUN459isYplN5qZpc+zbnLW6fgltlLVR4KTs6sC0LqL9fm6EjVYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730oseYOl0ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0UblBZSAguNxhb9W9+lsib8uvB82wGGOtXxTPYsXjO7qaxsTUm72288Kzcl/TSP2YRLh6VBrUf5qg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B4AgBTuy5W/4aDpUVehFMBvmkBDYFahh0CgXEUAQEBAQEBAQGBCYIrggcBAQEDATpPIwklDwUYiGwIxgIBAQgCIZEJF4MDgRQFljaNGghbfpZmg3AfAQFChB8ih0wBAQE X-IPAS-Result: A0B4AgBTuy5W/4aDpUVehFMBvmkBDYFahh0CgXEUAQEBAQEBAQGBCYIrggcBAQEDATpPIwklDwUYiGwIxgIBAQgCIZEJF4MDgRQFljaNGghbfpZmg3AfAQFChB8ih0wBAQE X-IronPort-AV: E=Sophos;i="5.20,202,1444687200"; d="scan'208";a="151815663" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Oct 2015 00:50:40 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 0C1671A03C9; Mon, 26 Oct 2015 19:50:37 -0400 (EDT) Date: Mon, 26 Oct 2015 19:50:37 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20151026235037.GA29951@topoi.pooq.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE337FB@IRSMSX102.ger.corp.intel.com> <20151026142114.GA4803@topoi.pooq.com> <20151026151809.GA23211@topoi.pooq.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] campp{4,5} and ppx On Mon, Oct 26, 2015 at 04:30:39PM +0100, Gabriel Scherer wrote: > To my knowledge, nobody has contributed parsing of attributes and > extensions (a change to the OCaml syntax whose use is central to many of > the ppx extensions) to camlp4 or camlp5 (which implement their own OCaml > parsers and thus need to be updated accordingly). It would not necessarily > be too difficult to do so, but that means that currently you cannot combine > camlp{4,5} and PPX extensions within the same source file. Presumabbly ther qould be no problem if the camlp{4,5} and the PPX extensions were used in different source files? > > There is another way to understand your question: if you have developed > camlp{4,5} extensions, how hard is it to port them to ppx, or conversely to > port a ppx extension to camlp{4,5}? My answer would be "rather easy", > knowing that there are two separate aspects: This invites another question: How many of the things made available in camlp{4,5}, such as stream parsers, have been ported to ppx? -- hendrik