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
Replacing Pervasives?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-09-08 (20:41)
From: Stefano Zacchiroli <zack@u...>
Subject: Re: [Caml-list] Replacing Pervasives?
On Mon, Sep 08, 2008 at 07:35:04PM +0200, David Teller wrote:
> On Mon, 2008-09-08 at 17:06 +0200, Romain Bardou wrote:
> > In other word it's as if you changed your "official" 
> > stdlib/Pervasives.cmo except that it's cleanier as you don't actually 
> > override it (which would change your Pervasives for all your projects).
> Technically, it fails because you have to name your new module
> Pervasives and thus cause a conflict with the original Pervasives.

Why you need to have the legacy Pervasives around? You can remove it
and/or include what you need of it in your customized Pervasives, can't
you? That wouldn't violate your requirement of messing around with
ocamlc code, you would only do that with the standard library source

> > Basically, just use any hack which can replace your ocamlc by a script 
> > which adds "open Myperv;;\n" before calling ocamlc ^^
> Unfortunately, it seems that ocamlc only supports one "-pp" tag. So if I
> use a simple "-pp 'cat myprefix.ml'", I become incompatible with
> Camlp4 :/

You can use a shell script (or a real program) of your which first
invokes camlp4 as a filter and first feeds into it myprefix.ml and after
that the real file. More generally your custom program can combine
together a pipeline of any number of preprocessors.


Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
I'm still an SGML person,this newfangled /\ All one has to do is hit the
XML stuff is so ... simplistic  -- Manoj \/ right keys at the right time