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 RAA08311 for caml-redistribution; Fri, 14 Jan 2000 17:07:36 +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 NAA20889 for ; Fri, 14 Jan 2000 13:26:04 +0100 (MET) Received: from post.tepkom.ru (post.tepkom.ru [195.9.10.12]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id NAA18169 for ; Fri, 14 Jan 2000 13:26:00 +0100 (MET) Received: (from msk@localhost) by post.tepkom.ru (8.9.3/8.9.3) id PAA02349 for caml-list@inria.fr.ANTIVIRUS; Fri, 14 Jan 2000 15:26:09 +0300 Received: from localhost (msk@localhost) by post.tepkom.ru (8.9.3/8.9.3) with ESMTP id PAA02336 for ; Fri, 14 Jan 2000 15:26:09 +0300 X-Authentication-Warning: post.tepkom.ru: msk owned process doing -bs Date: Fri, 14 Jan 2000 15:26:09 +0300 (MSK) From: Anton Moscal To: caml-list@inria.fr Subject: Re: Q: camlp4 use? In-Reply-To: <20000113113237.I14848@jaune.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis On Thu, 13 Jan 2000, Daniel de Rauglaudre 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. I use CamlP4 for different for of the "syntaxic sugaring" (for example - for list comprehension syntax) and for incapsulations of some patterns in matching. I have a following question about camlp4 distribution: I failed to build Windows version of camlp4. May will be better to include camlp4 in binary Windows distribution of OCaml? Regards, Anton