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
Private modules in packages
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-05-21 (13:55)
From: Ashish Agarwal <agarwal1975@g...>
Subject: Re: [Caml-list] Private modules in packages
> write a script to generate the P.mli file

Why do you need Bar.mli and Foo.mli at all? Just write the P.mli only.

On Fri, May 21, 2010 at 5:51 AM, Hans Ole Rafaelsen <hrafaelsen@gmail.com>wrote:

> Thanks Michael and Julien,
> That did the trick. I manually inserted the content of the Bar.mli and
> Foo.mli into the P.mli file. Guess unless it is some way to include this
> automatically the best will be to write a script to generate the P.mli file
> automatically based on current version of Bar.mli and Foo.mli as part of the
> build process.
> --
> Hans Ole
> On Fri, May 21, 2010 at 10:53 AM, Julien Signoles <
> julien.signoles@gmail.com> wrote:
>> Hello,
>> 2010/5/21 Hans Ole Rafaelsen <hrafaelsen@gmail.com>
>> When packing a set of modules into a top module using -pack, is there a
>>> way to have some of the modules private to the package?
>>> If I have the modules Helper, Foo and Bar. Helper provides helper
>>> functions used by Foo and Bar. When I'm packing them into a top mudule P, I
>>> do not want to expose the functions of Helper to users of P.
>>> Is there some way to achieve this?  If not, do anyone know of other ways
>>> for packing libraries and keeping some of the modules private to the
>>> library?
>> Just write yourself a file p.mli without your private modules:
>> === p.mli ===
>> module Foo : ...
>> module Bar : ...
>> ==========
>> Of course, you can not refer to signatures of modules Foo and Bar in
>> p.mli. Thus you have to duplicate them or, better, to write them somewhere
>> outside the package.
>> From a compilation point of view, be sure to generate p.cmi by using p.mli
>> before generating the pack files p.cm[ox].
>> We use such a trick in the Frama-C tool (http://frama-c.com) for
>> providing (usually empty) interfaces of its plug-ins. But I do not recommend
>> you to read the Frama-C Makefiles for looking at the corresponding
>> compilation lines (except if you are **very** motivated).
>> Hope this helps,
>> Julien
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs