kouzdra (kouzdra) wrote,
kouzdra
kouzdra

"Об этом мы с господином окружным начальником

говорили еще до войны": про Coq:
http://caml.inria.fr/pub/ml-archives/caml-list/2000/01/bb794203a8b51a7602bf06ab1441d54a.en.html
(это я к этому вопросу "Что я думаю за кока"
Date:	-- (:)
From:	Anton Moscal 
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
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments