English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Q: camlp4 use?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-01-14 (16:07)
From: Anton Moscal <msk@p...>
Subject: Re: Q: camlp4 use?
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

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?