From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 6CEC7BBAF for ; Wed, 9 Sep 2009 22:25:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjYBAHKsp0rUGyoFkWdsb2JhbACbQAEBAQEJCwoHEwPDXYQYBQ X-IronPort-AV: E=Sophos;i="4.44,360,1249250400"; d="scan'208";a="33979950" Received: from smtp5-g21.free.fr ([212.27.42.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2009 22:24:58 +0200 Received: from smtp5-g21.free.fr (localhost [127.0.0.1]) by smtp5-g21.free.fr (Postfix) with ESMTP id 52F6AD48205; Wed, 9 Sep 2009 22:24:52 +0200 (CEST) Received: from [192.168.0.3] (rke75-3-82-229-183-156.fbx.proxad.net [82.229.183.156]) by smtp5-g21.free.fr (Postfix) with ESMTP id 6685FD48181; Wed, 9 Sep 2009 22:24:50 +0200 (CEST) Message-ID: <4AA80F09.1000807@frisch.fr> Date: Wed, 09 Sep 2009 22:24:41 +0200 From: Alain Frisch User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.4pre) Gecko/20090908 Shredder/3.0b4pre MIME-Version: 1.0 To: Alexey Rodriguez Cc: OCaml List Subject: Re: [Caml-list] Partially hiding modules in packages References: <4b39c80a0909091200v7ae57950q4775d4b4ed4a51b3@mail.gmail.com> In-Reply-To: <4b39c80a0909091200v7ae57950q4775d4b4ed4a51b3@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 foobar:01 mli:01 2009:98 wrote:01 compile:01 caml-list:01 alain:01 alain:01 partially:02 modules:02 modules:02 module:03 On 9/9/2009 9:00 PM, Alexey Rodriguez wrote: > My question is about how to hide modules (or parts thereof) in > an ocaml package from the outside world (users of the package). It is not a well-known fact, but it is possible to provide an explicit interface for the packaged module (just create an ad hoc foobar.mli and compile it before doing the -pack'ing). -- Alain