From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9FAD9BBAF for ; Fri, 21 May 2010 10:51:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmcEAKnl9UvDJdGqgWdsb2JhbACeIBUBARYiIr0MhRIE X-IronPort-AV: E=Sophos;i="4.53,277,1272837600"; d="scan'208";a="51587162" Received: from mx2.mpim-bonn.mpg.de ([195.37.209.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 May 2010 10:51:46 +0200 X-IronPort-AV: E=McAfee;i="5400,1158,5988"; a="635898" X-IronPort-AV: E=Sophos;i="4.53,277,1272837600"; d="scan'208";a="635898" Received: from mailout.mpim-bonn.mpg.de (HELO ismene.mpim-bonn.mpg.de) ([192.168.42.38]) by mx2.mpim-bonn.mpg.de with ESMTP; 21 May 2010 10:51:45 +0200 Received: from [192.68.254.6] (athene.mpim-bonn.mpg.de [192.68.254.6]) by ismene.mpim-bonn.mpg.de (8.13.8/8.13.8) with ESMTP id o4L8pfpd029375; Fri, 21 May 2010 10:51:41 +0200 (CEST) Message-ID: <4BF649A0.4030309@laposte.net> Date: Fri, 21 May 2010 10:51:44 +0200 From: =?ISO-8859-1?Q?Micha=EBl_Gr=FCnewald?= User-Agent: Mozilla/5.0 (X11; U; SunOS sun4v; en-US; rv:1.7.12) Gecko/20050928 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Hans Ole Rafaelsen Cc: caml-list@inria.fr Subject: Re: [Caml-list] Private modules in packages References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; rafaelsen:01 -pack:01 foo:01 foo:01 iirc:01 mli:01 wrote:01 caml-list:01 functions:01 functions:01 modules:02 modules:02 module:03 library:03 expose:04 Hi Hans, Hans Ole Rafaelsen wrote: > 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? IIRC you have to write an interface file (MLI) for the package. -- Regards, Michael