coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] About camlp5 and coq

From: e+coq-club AT x80.org (Emilio Jesús Gallego Arias)
To: Kakadu <Kakadu AT protonmail.ch>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] About camlp5 and coq
Date: Tue, 08 Nov 2016 15:53:54 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e+coq-club AT x80.org; spf=Neutral smtp.mailfrom=e+coq-club AT x80.org; spf=None smtp.helo=postmaster AT cc-tupan-roaming-b.ensmp.fr
Ironport-phdr: 9a23:KZ7guhw9o3NJ6TvXCy+O+j09IxM/srCxBDY+r6Qd0e8SIJqq85mqBkHD//Il1AaPBtSBraMawLeM+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud76zS9CZ0p7//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpgdZuPst6oYUcqz5dqglZaRCCyghNWU85cmtvhmVHiWV4X5JXyYdlQMNCAzY5jnqDs+3tTH1/qpQ3SiePMq+b70vyy/qwK5vTBLnj28uLT8w6yCE2YRLkKtHrUf59FREyInObdTNOQ==
Organization: X80 Heavy Industries

Hi Kakadu,

Kakadu
<Kakadu AT protonmail.ch>
writes:

> But explaining camlp5 how to deal with PPX will require some
> work. It's not obvious how difficult it will be.....

The general opinion I perceive is that such work would be quite
difficult and time consuming, and generally not worth it.

Regarding Coq, I think Pierre-Marie did a great job explaining what the
situation is.

Happy hacking too!
E.

[Coq-Club] About camlp5 and coq, Kakadu, 11/04/2016
- Re: [Coq-Club] About camlp5 and coq, Emilio Jesús Gallego Arias, 11/04/2016
  - Re: [Coq-Club] About camlp5 and coq, Kakadu, 11/08/2016
    - Re: [Coq-Club] About camlp5 and coq, Pierre-Marie Pédrot, 11/08/2016
    - Re: [Coq-Club] About camlp5 and coq, Emilio Jesús Gallego Arias, 11/08/2016