From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA18560 for caml-redistribution; Thu, 13 Jan 2000 17:30:10 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA16790 for ; Thu, 13 Jan 2000 11:32:39 +0100 (MET) Received: from jaune.inria.fr (jaune.inria.fr [128.93.11.80]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA02312 for ; Thu, 13 Jan 2000 11:32:37 +0100 (MET) Received: (from ddr@localhost) by jaune.inria.fr (8.8.7/8.8.7) id LAA15180; Thu, 13 Jan 2000 11:32:37 +0100 Message-ID: <20000113113237.I14848@jaune.inria.fr> Date: Thu, 13 Jan 2000 11:32:37 +0100 From: Daniel de Rauglaudre To: STARYNKEVITCH Basile , caml-list@inria.fr Subject: Re: Q: camlp4 use? References: <14460.39634.270012.477197@gargle.gargle.HOWL> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.93.2 In-Reply-To: <14460.39634.270012.477197@gargle.gargle.HOWL>; from STARYNKEVITCH Basile on Wed, Jan 12, 2000 at 04:16:34PM +0100 Sender: weis 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/