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 BC37F5D5 for ; Wed, 24 Jul 2019 15:10:40 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,303,1559512800"; d="scan'208";a="393175986" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jul 2019 17:10:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8DDBC826D8; Wed, 24 Jul 2019 17:10:39 +0200 (CEST) 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 0AA89826CE for ; Wed, 24 Jul 2019 17:10:11 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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=3Acck5chGzVKsBAiyoE+bCrp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpc6wAkXT6L1XgUPTWs2DsrQY0rCQ4/irBjNIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfK1+IA+1oAnNucUbg4lvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ky?= =?us-ascii?q?oMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YAE+UOM/tYoYb/qVUAohiwBQeyCu3o0TJImmb23agm3+QhDQ3L3AotFM8Ovn?= =?us-ascii?q?TOq9X1Mb8fX+SyzKbU0zrDa/NX2THl54bVaBchu/aMXa5tesfWy0kvEB/KgUuU?= =?us-ascii?q?qY3lOTOZzP8NvHaB7+pnSeKikHMnpB1rrTS1yMcskJDEi4QIwV7K8iV5xZw6Jd?= =?us-ascii?q?y+SENjbt6kEYdQtyGHN4RtWM8tX2ZouCM8x7YbupC7ZDAHxIkjyhPRcfCKfIyF?= =?us-ascii?q?7gj+WOqMIzp0nmxpdK+nixux8kWs0PDwW8i73VpQqidJjMPAum4N2hDP7MWMV+?= =?us-ascii?q?Fz8V272TmV0gDe8uFELl4wlarcM5Mhx6IwmYAPvUjdBCP2hVj5g7WTdko+++io?= =?us-ascii?q?7/7rYrv8ppOENo90jB/xMrg2l8CiBek1PBICUmef9OimybHv4E/0TK9UgvEriq?= =?us-ascii?q?XZtYrVJcUfpq63GQ9V1YMj5g69DzehzNsXg30HLVJDeB6dlIjmJUvOIPfkDfqk?= =?us-ascii?q?nlSjjC1ky+rIPr37GpnNNGTMkK/9fbZh7E5R0BY8wspa55JQE70BJPPzWlTttN?= =?us-ascii?q?HDFR84Mwm0w/79B9ln14MeX3iPAq6DP6/Iv1+I/LFnH+7ZSIYTuTf5Y9Is++P0?= =?us-ascii?q?jHlxzVMUe6io2bMdYWylBPVgZUKDbiy/rM0GFDIouQEzSP3sv2YDSzlPLyKwWK?= =?us-ascii?q?kx4iA9TpmrF4Dfbp2mifqPxnHoTdVtemlaBwXUQj/TfIKeVqJJMXrKe54zonk/?= =?us-ascii?q?TbGkDrQZ+1SrvQ7+xaBgK7qG5yYR85z5hoEsu7/j0Coq/DkxNPyzlnmXRjEmg2?= =?us-ascii?q?gBATEsjvgm/B5Nj2yb2K09uMR2UNxe4/QQAlU/KZeElapnB9n3UwPFONmTGg6r?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AyBABWdDhdhxV1McFlHAEBAQQBAQcEA?= =?us-ascii?q?QGBZ4MEA1ABMCqNGIgVgWolg2SXFQkBAwEMIwwBAYRAAoJZGwcBBDQTAQMBAQQ?= =?us-ascii?q?BAQIBAwMBEwEBAQoLCQgphSUMgjopAYJmAQECAgFAAQE3AQQLIy5XBhODIgGBe?= =?us-ascii?q?xMBCqtpgiOCeQEBBYJHhGkDBoE0i2CCFoERJwwThVIZAoUegiaqbwcCgTJphlm?= =?us-ascii?q?IbAWEYY03ilOMWIgpjH+DM4EvOIF5dEwqAYJBPoIEDA4JFIM6gT6JFz4BMY8pA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0AyBABWdDhdhxV1McFlHAEBAQQBAQcEAQGBZ4MEA1ABMCq?= =?us-ascii?q?NGIgVgWolg2SXFQkBAwEMIwwBAYRAAoJZGwcBBDQTAQMBAQQBAQIBAwMBEwEBA?= =?us-ascii?q?QoLCQgphSUMgjopAYJmAQECAgFAAQE3AQQLIy5XBhODIgGBexMBCqtpgiOCeQE?= =?us-ascii?q?BBYJHhGkDBoE0i2CCFoERJwwThVIZAoUegiaqbwcCgTJphlmIbAWEYY03ilOMW?= =?us-ascii?q?IgpjH+DM4EvOIF5dEwqAYJBPoIEDA4JFIM6gT6JFz4BMY8pAQE?= X-IronPort-AV: E=Sophos;i="5.64,303,1559512800"; d="scan'208";a="314605445" X-MGA-submission: =?us-ascii?q?MDHk9C8RxJvL/huip9LJZvesL0XnR0SAB75/3A?= =?us-ascii?q?Yl+VW260iXUiKrWrzF4wjP7/6V/f2+9rgvt8bKysjIfIKnYeS9ZnRQUM?= =?us-ascii?q?MGir/x3Gz1MMRte/WKq9Y2KT1v1ov7ayvqR6ElE/jMjLLtZqopC9VAfh?= =?us-ascii?q?bbhGEu8+bJzebu1o9Ym1Yilw=3D=3D?= Received: from mta02.udamail.fr ([193.49.117.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jul 2019 17:10:10 +0200 Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 45tzKt12ZqzBsDQ; Wed, 24 Jul 2019 17:10:10 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 45tzKt0LqjzBsDq; Wed, 24 Jul 2019 17:10:10 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 mta02.udamail.fr 45tzKt0LqjzBsDq DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1563981010; bh=osUqzUGU3qWHCtiMSJSaOCBGIrjuC/1tcDdQq1+Qw7U=; h=Mime-Version:From:Date:Message-Id:To; b=QgYaH7gihm/U6xbw3VTbDKV4Bto8gD5dv3JBCXS0SEGn090e1RTRwIuYurRWN9mbn gYgXNeYoPoXt2JvjgVAGwKFz8mtIYgyN9JKeEqyjHUOuYDtxri+qJN9C0e5S2cWd0i KSrpwYWnZ8nL2KteIsBwg2lzMtZ1ZOHxANO3AKnM= 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 cnlTHoY69d_J; Wed, 24 Jul 2019 17:10:09 +0200 (CEST) Received: from proxy01.udamail.fr (unknown [193.49.117.26]) by mta02.udamail.fr (Postfix) with ESMTPS id 45tzKs5XnZzBsDQ; Wed, 24 Jul 2019 17:10:09 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 45tzKs4w2PzBnBw; Wed, 24 Jul 2019 17:10:09 +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 rsdgwzsezssT; Wed, 24 Jul 2019 17:10:08 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy01.udamail.fr (Postfix) with ESMTP id 45tzKr6Qj5zBnCt; Wed, 24 Jul 2019 17:10:08 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.10.3 proxy01.udamail.fr 45tzKr6Qj5zBnCt DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1563981008; bh=osUqzUGU3qWHCtiMSJSaOCBGIrjuC/1tcDdQq1+Qw7U=; h=Mime-Version:From:Date:Message-Id:To; b=jjuwCbrsUNSyfx5fkbRbO6Ior987RJfAxbj9nwmxcMTT5xg20lxr++dPVjVmKs/kn Nyu/kiUOe3LpwGtFxOuXw1VdKtOqTYHpeS6LBneR7XyxmQgeo+uK5OuZp66uf/RBMU WaxONgRA50g4QvAdbwzNjUneocfRkbgi/nKCeouc= 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 JV8GxEUr5RzU; Wed, 24 Jul 2019 17:10:08 +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 45tzKr3PgJzBnBw; Wed, 24 Jul 2019 17:10:08 +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: Wed, 24 Jul 2019 17:10:07 +0200 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: <8748682C-8208-4FF7-A632-D8E06B80960A@uca.fr> 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: [Caml-list] Camlp4-free implementation of stream parsers (was camlp4 & OCaml 4.08) Reply-To: =?windows-1252?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 17703 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 Daniil (and everyone interested by the subject), Did you have a closer look at this ?=20 I=92m still hesitating between these three approaches for replacing the = implementation of the small arithm expression parser used in Lascar [1] = : i. rewrite it using the basic fns provided by the Stream library (pro: = no additionnal dependency, cons: not so trivial..) ii. replace camlp4 by camlp5 (pro: straightforward, cons: long term = maintainability of camlp5 (?))=20 iii. rewrite it using ocamlex/menhir and embed it in the main code (pro: = =AB standard =BB soon; cons: a bit heavy) Jocelyn [1] https://github.com/jserot/lascar/blob/master/src/lib/fsm_expr.ml, = lines 70=96112 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