Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it

To: "julien.puydt@gmail.com" <julien.puydt@gmail.com>, "glondu@debian.org" <glondu@debian.org>
Cc: "debian-ocaml-maint@lists.debian.org" <debian-ocaml-maint@lists.debian.org>
Subject: Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Oct 2021 14:07:43 +0000
Message-id: <[🔎] fd732bc2f451f0b8e2963eb68cd28487ce4d1d89.camel@unibo.it>
In-reply-to: <[🔎] d087db11-68e7-e92b-2fda-98a0c1abbc83@debian.org>
References: <[🔎] 68e601a153d53422db92400fe13111a5461d1410.camel@gmail.com> <[🔎] d087db11-68e7-e92b-2fda-98a0c1abbc83@debian.org>

Hi,

> This is more a comment on upstream, but I cannot not say it: using
> camlp5 and ppxlib at the same time seems very strange to me.

camlp5 is used to implement the parser of the programming language ELPI
and for embedding the language in ocaml, while ppxlib is just used for
the nice plugins/syntax extensions for ocaml

Cheers,
C.S.C.

-- 
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna

Reply to:

References:
- Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it
  - From: Julien Puydt <julien.puydt@gmail.com>
- Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it
  - From: Stéphane Glondu <glondu@debian.org>

Prev by Date: Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it
Next by Date: Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it
Previous by thread: Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it
Next by thread: Re: Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it
Index(es):
- Date
- Thread