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 29E787EEB9 for ; Mon, 26 Oct 2015 16:18:12 +0100 (CET) IronPort-PHdr: 9a23:gZXA3xa1wAcwfk5XD4NfYKP/LSx+4OfEezUN459isYplN5qZpc+zbnLW6fgltlLVR4KTs6sC0LqL9fm5EjNaqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730osSYPF8ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0UblBZSAguNxhb9W9+lsib8uvB82wGGOtXxTPYsXjO7qaxsTUm72288Kzcl/TSP2YRLh6VBrUf5qg== Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.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=mail2-smtp-roc.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: A0B4AgAFQy5W/4aDpUVehFMBvmoBDYFahh0CgWcUAQEBAQEBAQGBCYIrgggBAQQ6TwsYCSUPBRiIdMRaAQEIAiGLdYUUF4MDgRQFljaNGghbm1QfAQFChB8ih0wBAQE X-IPAS-Result: A0B4AgAFQy5W/4aDpUVehFMBvmoBDYFahh0CgWcUAQEBAQEBAQGBCYIrgggBAQQ6TwsYCSUPBRiIdMRaAQEIAiGLdYUUF4MDgRQFljaNGghbm1QfAQFChB8ih0wBAQE X-IronPort-AV: E=Sophos;i="5.20,201,1444687200"; d="scan'208";a="184505915" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Oct 2015 16:18:11 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 11F871A02C1; Mon, 26 Oct 2015 11:18:10 -0400 (EDT) Date: Mon, 26 Oct 2015 11:18:10 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20151026151809.GA23211@topoi.pooq.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE337FB@IRSMSX102.ger.corp.intel.com> <20151026142114.GA4803@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: Re: [Caml-list] Is this the right place to discuss camlp5? On Mon, Oct 26, 2015 at 02:27:23PM +0000, David Allsopp wrote: > Hendrik Boom wrote: > > On Mon, Oct 26, 2015 at 01:35:45PM +0000, Soegtrop, Michael wrote: > > > Dear Ocaml Users, > > > > > > I just wanted to ask, if this is the right place to discuss camlp5, or > > if there is a better place. I have a rather bizarre build issue on Cygwin > > and a fix (well a hack) for it. > > > > Now I've heard about campl5, presumably a successor to campl4, and about > > ppx, touted as a successor to camlp4. > > In fact, camlp5 is technically the predecessor of camlp4! camlp4 was incompatibly re-worked for OCaml 3.10 (I think it was 3.10, anyway) - Daniel De Rauglaudre, the author of the original camlp4 but at that time not its maintainer, decided to continue development of the original camlp4 but, to avoid creating even more hell in the upgrade to OCaml 3.10, renamed the tool to camlp5. So camlp5 is basically a maintained fork of an older version of camlp4. > > ppx is a much more recent innovation designed to replace most uses of both those tools. Which is at least part of the reason that camlp4 is no longer included in mainline OCaml. > > > What gives here? > > History! And also that converting between camlp4/camlp5/ppx is non-trivial. If doing something new, and you don't need to worry about older OCamls, ppx is the way to go... How incomptible are they? I don't expect to be able to use ppx in the place of camlp4 on camlp4 code, but is there any difficulty combining legacy code written using camlp4 with new code written using ppx? -- hendrik