[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| 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 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