From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: STARYNKEVITCH Basile <Basile.Starynkevitch@cea.fr>, caml-list@inria.fr
Subject: Re: Q: camlp4 use?
Date: Thu, 13 Jan 2000 11:32:37 +0100 [thread overview]
Message-ID: <20000113113237.I14848@jaune.inria.fr> (raw)
In-Reply-To: <14460.39634.270012.477197@gargle.gargle.HOWL>; from STARYNKEVITCH Basile on Wed, Jan 12, 2000 at 04:16:34PM +0100
On Wed, Jan 12, 2000 at 04:16:34PM +0100, STARYNKEVITCH Basile wrote:
>
> I am asking who is using the Camlp4 as an Ocaml preprocessor (the
> Revised syntax is another legitimate use of Camlp4, as is its pretty
> printing facilities) and why?
The main big user of Camlp4 is the program Coq (from the project Coq
of INRIA). The revised syntax seems to have very few users.
> Alsom did anyone use ocpp (in camlp4)? I did not understand what is it
> and why is it useful for?
Hmmm... I don't know wether people use it. Actually I don't use it. It
is just a program extracted from the technology of Camlp4, but not
specially dedicated to Ocaml programs. You can just use quotations and
the rest of the input text is not parsed at all.
--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
next prev parent reply other threads:[~2000-01-13 16:30 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-01-12 15:16 STARYNKEVITCH Basile
2000-01-13 10:32 ` Daniel de Rauglaudre [this message]
2000-01-14 12:26 ` Anton Moscal
2000-01-14 20:42 ` Markus Mottl
2000-01-20 16:15 ` Anton Moscal
2000-01-25 8:22 ` Gerard Huet
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20000113113237.I14848@jaune.inria.fr \
--to=daniel.de_rauglaudre@inria.fr \
--cc=Basile.Starynkevitch@cea.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).