[wg-camlp4] [Caml-list] Working Group: the future of syntax extensions in OCaml, after camlp4

[Gerd Stolpmann]

Am 24.01.2013 16:57:37 schrieb(en) Daniel Bünzli:
> Le jeudi, 24 janvier 2013 à 15:31, Alain Frisch a écrit :
> > - Gather information from the community about the use of camlp4.
> > (Please consider sharing information about your use of camlp4
> > and camlp4-based extensions, even if you don't plan to participate
> > to the working group discussions!)
> 
> I tried to disable camlp4 to compile OCaml 4.00.1 on a raspberry pi  
> --- takes half the (long) compilation time, and allows you to compile  
> OCaml without having to increase the swap size of the default  
> raspbian image to prevent the system from crashing during camlp4  
> compilation...
> 
> However one thing I learned is that currently, it's pretty a no go as  
> camlp4 is needed by ocamlfind which means that if you use something  
> like opam to install software you can't install any of the 'required  
> by' packages mentioned on this page [1].
> 
> So it seems that to get rid of camlp4, ocamlfind needs to get rid of  
> camlp4, I'd be interested in what Gerd has to say about that (I have  
> no idea if camlp4 is used by the tool itself or if it's just needed  
> to provide support for camlp4).

It's used in the tool, but only for stream parsing. I could also  
distribute the already-preprocessed file (and maybe I'll do so in the  
next release).

Stream parsing is certainly one of the topics to discuss.

Just fyi, findlib was originally developed at a time when camlp4 was  
separately distributed, and stream parsing was supported by core OCaml  
w/o camlp4.

Gerd


> 
> Best,
> 
> Daniel
> 
> [1] http://opam.ocamlpro.com/pkg/ocamlfind.1.3.3.html
> 
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 



-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd at gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------