From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id EB9B25D4 for ; Fri, 5 Jul 2019 09:56:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,454,1557180000"; d="scan'208";a="390550165" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Jul 2019 11:56:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D63CA8247D; Fri, 5 Jul 2019 11:56:33 +0200 (CEST) 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 3F5C88247D for ; Fri, 5 Jul 2019 11:56:02 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jocelyn.serot@uca.fr; spf=Pass smtp.mailfrom=jocelyn.serot@uca.fr; spf=None smtp.helo=postmaster@mta02.udamail.fr IronPort-PHdr: =?us-ascii?q?9a23=3A61lOXx9YVL3Mi/9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+4cTK2v8tzYMVDF4r011RmVBN+dsK4P0bKempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffhtEiCCzbL59Ixm6sxndvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/9KpgVgPmhz?= =?us-ascii?q?kbOD446GHXi9J/jKRHoBK6uhdzx5fYbJyJOPZie6/Qe84RS2hcUcZLTyFOHoyz?= =?us-ascii?q?YZYPAeUDM+hWoIrzp1UQoxW5HgSsGPrvyjpUin/2waE30+IsGhzG0gw6GNIOtW?= =?us-ascii?q?zZotHyNKgOT++1yKnJzTPbYP1LwzD98o/Icgw8qvyLX7JwdtbexlcrFwLFiFWc?= =?us-ascii?q?s5flMC2P1uQKr2iW9PdgWv61hGI9pQFxuCGiy8ExgYfKnoIY0k3I+CF3zYovKt?= =?us-ascii?q?C1TFR3bcO5HJZSrS2WKZZ6TtshTmxroio217wLtJGhcCUO1pgr3QDTZvybf4WO?= =?us-ascii?q?/xntTvyeIS1ii3JgYL+/hwi98UynyuDkU8m0zExFojZbntXWq3ACygbc6s2dRf?= =?us-ascii?q?t8+ketwziP1xrL5uFFJ0A7i7bbJoY8zrM0mJcfq0vOEyvslEnrkaObdF8o9va1?= =?us-ascii?q?5+j/Z7XpvJ6cN4t6igHkNaQun9SyAeY/MgcSQWeb/eS91Lv58U3iXrpKlPo2kr?= =?us-ascii?q?XCvZDHOcsUvLS1AwFP0oo78RawEy+m0MgEnXkANF9KZAiIj43tO13XJPD4DOy/?= =?us-ascii?q?g0i3nTdwx/HGO6XhDY/XInjClrfhZ7d95FRGxAo919AMr65TX50IJvPyXgfbvc?= =?us-ascii?q?DFFB4/e1i4yuDmCdFV3IoCRHiOBOmeKqyE4nGS4ed6Ae6HaYsEvgHGquIi+7a6?= =?us-ascii?q?j3gylFsMe++y0IEQdFilFf0gLV/PMimkucsIDWpf5ll2d+ftklDXFGcLPy/uDZ?= =?us-ascii?q?J53SkyDcedNamGXpqk0O6c1y79EIcEPjkbWGDJKm/hcsC/Y9lJaC+WJZYxwDkY?= =?us-ascii?q?XOD7DZIt3BSntQu8xaA1drOFqB1djorq0Z1O38OWkBgz8TJuCMHNgXyGRid6hD?= =?us-ascii?q?FRSg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AnAQBPHR9dhxV1McFmGwEBAQEDAQEBB?= =?us-ascii?q?wMBAQGBZ4MEUTAojReJZIFqJYNglw8JAQMBDC8BAYRAAoIuGwcBBDQTAQMBAQQ?= =?us-ascii?q?BAQIBAgMBEwEBAQoLCQgpij4MgjopAYJmAQEBAQIBQAEBNwEECwsYLlcGE4Mig?= =?us-ascii?q?XwTAaRPgiOCeQEBBYJHhHoJgTSLX4IWgREnDBOCTD6ERIM8giaqSQcCgTFolB6?= =?us-ascii?q?NL4pJoWGDMoEvOIF5dEwqAYJBPoIDGoUViRc+ATGPCwEB?= X-IPAS-Result: =?us-ascii?q?A0AnAQBPHR9dhxV1McFmGwEBAQEDAQEBBwMBAQGBZ4MEUTA?= =?us-ascii?q?ojReJZIFqJYNglw8JAQMBDC8BAYRAAoIuGwcBBDQTAQMBAQQBAQIBAgMBEwEBA?= =?us-ascii?q?QoLCQgpij4MgjopAYJmAQEBAQIBQAEBNwEECwsYLlcGE4MigXwTAaRPgiOCeQE?= =?us-ascii?q?BBYJHhHoJgTSLX4IWgREnDBOCTD6ERIM8giaqSQcCgTFolB6NL4pJoWGDMoEvO?= =?us-ascii?q?IF5dEwqAYJBPoIDGoUViRc+ATGPCwEB?= X-IronPort-AV: E=Sophos;i="5.63,454,1557180000"; d="scan'208";a="390550090" X-MGA-submission: =?us-ascii?q?MDGphmVsHgAtxu5fIqQB7/tL1hdc3f8c0+tnU0?= =?us-ascii?q?uRFM0hX41mF8n0m0a7WxVMZFKW6SAn0vjwDNw6q06xqw/eiOfYeuKL6p?= =?us-ascii?q?WOOr8nyo9+p8DtqRwCdQ41GOkLLIsCazRXw9u0usiTrwEWIDqWGO6v93?= =?us-ascii?q?UaK28X/M+YLHQF9Wc6DqWnmw=3D=3D?= Received: from mta02.udamail.fr ([193.49.117.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Jul 2019 11:56:01 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 45g9G946DMzBsDr; Fri, 5 Jul 2019 11:56:01 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 45g9G93PPvzBsDm; Fri, 5 Jul 2019 11:56:01 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 mta02.udamail.fr 45g9G93PPvzBsDm DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1562320561; bh=S5KG4j+z4yyEv7ELJKF+/C3Df9YwaePEipDQQTeO/rg=; h=Mime-Version:From:Date:Message-Id:To; b=WBfJRbIEEjQ7rbbLOH27xKvxHsoj8a2sQhJ9QO1inIY3cob3cqCRdAZ21Ch5s8t1j nI8cLdzvFhWtNlJg0lZ5KTj4r1MDZ0eXgSVG1YnDbIq9/1UYGepLR2cA9dqV+8djJu phHSMAOz+k4EGCRnQjTvYsAaKPZM2PlBR6QNcQwA= X-Virus-Scanned: amavisd-new at mta02.udamail.fr Received: from mta02.udamail.fr ([127.0.0.1]) by localhost (mta02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id U-mjf7-DDBfq; Fri, 5 Jul 2019 11:56:01 +0200 (CEST) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id 45g9G92FxwzBsDf; Fri, 5 Jul 2019 11:56:01 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 45g9G91K3bzBnBY; Fri, 5 Jul 2019 11:56:01 +0200 (CEST) Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id AEb6-V-zMBdy; Fri, 5 Jul 2019 11:56:00 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 45g9G83JLrzBnBw; Fri, 5 Jul 2019 11:56:00 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 proxy01.udamail.fr 45g9G83JLrzBnBw DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1562320560; bh=S5KG4j+z4yyEv7ELJKF+/C3Df9YwaePEipDQQTeO/rg=; h=Mime-Version:From:Date:Message-Id:To; b=kJD2l7gBH2mMAcXe6pzm+OKwci3+rm3l2CDgwDSEfI+fNlI1Sb2d6JjJPPOaWWMnq BG1F46vMWzhr+wVZ8VTHL7oDodnRCTN1CBOGLcDb+ydZ27kqkY+iafK36UUAYacg4M +JRWwY4kL7PVSJH+sTgbRrQ7QDfm5a0C+6K2H16Q= X-Virus-Scanned: amavisd-new at proxy01.udamail.fr Received: from proxy01.udamail.fr ([127.0.0.1]) by localhost (proxy01.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 4-jZ4Y-Ey6Fc; Fri, 5 Jul 2019 11:56:00 +0200 (CEST) Received: from [192.168.0.38] (lav63-2-88-164-92-250.fbx.proxad.net [88.164.92.250]) by proxy01.udamail.fr (Postfix) with ESMTPSA id 45g9G770K5zBnBY; Fri, 5 Jul 2019 11:55:59 +0200 (CEST) Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: =?windows-1252?Q?Jocelyn_S=E9rot?= In-Reply-To: <393603fa-0efa-5714-82da-ba4bc3e869b8@baturin.org> Date: Fri, 5 Jul 2019 11:55:59 +0200 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: References: <20190627134517.hzhbmjkihidxlnkz@annexia.org> <45419C48-63D3-4981-B54C-3EEA1F4A6FE6@recoil.org> <7a79b78d-fac2-7e8e-bb82-680c1838149d@baturin.org> <5CE377AD-CB06-4261-BD26-A2A697253F02@uca.fr> <393603fa-0efa-5714-82da-ba4bc3e869b8@baturin.org> To: Daniil Baturin X-Mailer: Apple Mail (2.1878.6) X-Validation-by: jocelyn.serot@uca.fr Subject: Re: [Caml-list] Lascar/RFSM & Camlp4 (was camlp4 & OCaml 4.08) Reply-To: =?windows-1252?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 17676 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hi Danill - and sorry for the late answer. Yes, Lascar only use camlp4 for stream expressions (using the Genlex to = parse small expressions). I=92ve checked, and i cant find any reference to camlp4 in the latest = version of Rfsm; i can=92t remember why i put it the package dependency = list (because it itself depends on Lascar ?). You=92re much welcome to work on path.=20 Jocelyn Le 2 juil. 2019 =E0 11:25, Daniil Baturin a =E9crit = : > Hi Jocelyn, > Camlp5 is still sort of maintained, but I don't think it's going to be > developed beyond compatibility updates. > For syntax extensions, everyone is switching to PPX. >=20 > =46rom a quick look, it seems like the only bit of camlp4 you use is > stream expressions. > This is one of the things PPX can't do (on purpose, since it doesn't > allow _arbitrary_ extensions), > but I don't think just using streams directly is going to make code = much > longer. >=20 > Or I missed some other camlp4 bits? >=20 > I'm ready to work on a patch if you are open to it. >=20 > On 7/2/19 1:44 PM, Jocelyn S=E9rot wrote: >> Le 29 juin 2019 =E0 17:15, Daniil Baturin a = =E9crit : >>=20 >>> Perhaps we should make some coordinated effort to help them. >>> I've just sent a pull request to the ocamldot maintainer that = enables >>> the graphviz files parsing and printing modules >>> to build and work with 4.08. The GTK parts have their own issues. >>> Next I'm going to look into LASCAR/RFSM (packages that interest me = first ;). >>>=20 >> Hi Daniil, >>=20 >> I=92ve been been thinking of removing the dependency of Lascar and = RFSM on camlp4 for a while. >> Is switching to CamlP5 a good alternative ?=20 >>=20 >> Jocelyn >>=20 >>=20 >=20 >=20