From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 05CD47FA5E for ; Mon, 8 May 2017 14:49:29 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-yb0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.213.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.213.181 as permitted sender) identity=mailfrom; client-ip=209.85.213.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yb0-f181.google.com) identity=helo; client-ip=209.85.213.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-yb0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AALuhVR/J/2C12v9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+0cTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMsrrQ7ApQjSi97lkRwP0iC?= =?us-ascii?q?kJMD459XvYis12jKlGpB6sqBhyz4vSbYqINvRxY7ndcMsYSmpPXshfWS9PDJ6i?= =?us-ascii?q?YYQTFOcOJ/pUopPnqlcSsRezBw+hD/7vxD9SgX/22LU33ec/EQ7c2gwrAtMAsH?= =?us-ascii?q?PIrNXyKqcdTeC1zKjUzTXYcvhb3jb96JbHch06oPGDQ6x/ftTLxUkoDQPFgUyd?= =?us-ascii?q?pIr4ND2b0eQNtnKU7+tmVe+3im4nrRtxojm1ycs2hInJnJoZy1De+iV5x4Y1Is?= =?us-ascii?q?e0R1J8Yd6hFpZbqiKUN5NuT888X21lvDw2x74GtJKhYiQG1ZoqywTCZ/GEboSF?= =?us-ascii?q?5A/oWvyLLjdinn1lfaqyhxas/kikze3xTsy030xLripBi9XNtmsC2wDK5siJV/?= =?us-ascii?q?dw/Vqt1SyA1wDU7eFELkQ0mrTBJ5E9xb4wk4IfsUXFHiDohEX7lLGaelkg9+Sy?= =?us-ascii?q?6OnqYq/qqoGBO4J6kA3yL6cjltGnDeQ9KAcOXmyb+eqm1L3k+E30WLRKjuM5kq?= =?us-ascii?q?TCsZDVO9oUqbCjDw9SyIYj5A6zDy2639QAgXkHMFVFdQqbgIfzPlHOJOn0DfO+?= =?us-ascii?q?g1S3jDdm3OvGP73kApXVNHfPirbhfbBn605d0gU/195f54gHQo0Gdd76XE78sO?= =?us-ascii?q?vymhkrNw38l+ruDtRw0sUURG+JEKuYGK7Iq1aU5/syLq+HZNlGliz6Lq0E+ffo?= =?us-ascii?q?xVA+hVgDdqmowYBfPHGmEdxnLkiUJ332jYFSQi8xogMiQbmy2xW5WjlJaiPuDq?= =?us-ascii?q?8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AhAQDoaBBZhrXVVdFcGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBhAyBDAeDYZtugj6TNIIPLIV4AoRUB0AXAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEBCAsLCCgvgjMKglgBAQEBAgEjHQEBLAsBBAsLBAcNDR0CA?= =?us-ascii?q?iISAQUBChIGExKJdgMIBQgOpUE/ix1rgiaDCQEBBYQWA4M4AQEBAQEFAQEBAQE?= =?us-ascii?q?BGggShk2EeYQoaIJdgl+HagyILY1bhxyLfIJZjxOSdhQfgRUPEQGBQH0IRhkGh?= =?us-ascii?q?BwqH4ILJDYBhjyCLgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AhAQDoaBBZhrXVVdFcGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBhAyBDAeDYZtugj6TNIIPLIV4AoRUB0AXAQEBAQEBAQEBAQESA?= =?us-ascii?q?QEBCAsLCCgvgjMKglgBAQEBAgEjHQEBLAsBBAsLBAcNDR0CAiISAQUBChIGExK?= =?us-ascii?q?JdgMIBQgOpUE/ix1rgiaDCQEBBYQWA4M4AQEBAQEFAQEBAQEBGggShk2EeYQoa?= =?us-ascii?q?IJdgl+HagyILY1bhxyLfIJZjxOSdhQfgRUPEQGBQH0IRhkGhBwqH4ILJDYBhjy?= =?us-ascii?q?CLgEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,309,1491256800"; d="scan'208,217";a="222862493" Received: from mail-yb0-f181.google.com ([209.85.213.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 May 2017 14:49:25 +0200 Received: by mail-yb0-f181.google.com with SMTP id j17so11127762ybj.0 for ; Mon, 08 May 2017 05:49:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=KDQaT/AZL62ry0BSu/WJu8OrUwMdMr427DlMorK7MJ4=; b=o0Pjr7mVpGsjAf5+ZwDclyNR5/yenJ3BaiQc3Lr8Hrrj9IESrpFQOhybbYkGuHHPiI ayPJm9JAyM7QSjqdiepI9MVlDAVq1YZnH6aw8OaoNsL9pw/AqFSXQYzxyoPqeaLyb2mb wP5Tp+bM7ij/g+FJzVWgCzEpXAx0+XQ63r1DoDdH5UONrNa8YdQlL5dLsvAQQ6YiGMUs kwrlOT/i4g37f038tn7MZ1BwUo/h07IYbApjxLWKNYKajp6Z7o0EwfjXt8hR99HSoAa2 u9YtBEkUwnLUDuvPOKI51GyInS12vZ/1om67e0YOQeryvORS4MOO49qqPIevFv7Oslaz nJPg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=KDQaT/AZL62ry0BSu/WJu8OrUwMdMr427DlMorK7MJ4=; b=JrvmSjqBRUjl/eHHYBNlwfStJImmHBFKphQZFY64ytlfnLtVur2ylPD5ohzKBwI6Gc /LC0+kfy3rOT/89uARPYAqf+JY/gIjaGOQEz5QgFe1UNYYKjfUWykKQyRaVRDw0upkcY zE4EJZG8iSbKBXwpffesDyaDWNN0LRU39pw4yNhETy7W9XdxxTATLzfNJYjQR7PQJJ+X GYJJawytkc2uuqs1iesi5UvyVltYPx1oA+CstBb5BMeKIs5b5RwWSPxZli8T3DWm6Lg1 8NpE2gnvll/NGmZC9vFhzD6eAkjALul8saOk2ev/09KZQi2DjO8Xkrvz0oN//AY4n8P5 WksQ== X-Gm-Message-State: AODbwcDS3YxH3mARcW70+G0ZzSwtAslREVJzC0kbO2jn+PcUgJL2/mzZ vFrJTMtueVRcWuxm4cN/MW0u7FDhFKNF X-Received: by 10.37.179.27 with SMTP id l27mr9654797ybj.141.1494247763190; Mon, 08 May 2017 05:49:23 -0700 (PDT) MIME-Version: 1.0 Received: by 10.129.130.66 with HTTP; Mon, 8 May 2017 05:49:22 -0700 (PDT) In-Reply-To: <645DF7BCD0884CF29575F7F16193744D@erratique.ch> References: <1494134647.612201743@f426.i.mail.ru> <645DF7BCD0884CF29575F7F16193744D@erratique.ch> From: Ivan Gotovchits Date: Mon, 8 May 2017 08:49:22 -0400 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Alexey Egorov , caml-list Content-Type: multipart/alternative; boundary=f403045f3f0a21d856054f02abe6 Subject: Re: [Caml-list] Installing library with hidden modules --f403045f3f0a21d856054f02abe6 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Alexey, The generic recipe is to hide (not install) the cmi file, while still installing cmx and other object files of the private module. An absence of the cmi file, will prevent users from accessing the module directly. The OASIS system provides an easy way to hide modules, with the `InternalModules` field. OASIS will install all the necessary parts of the module (i.e., cmxs, cma, o, a, etc), but will not install the interface part. Best wishes, Ivan Gotovchits On Mon, May 8, 2017 at 6:56 AM, Daniel B=C3=BCnzli wrote: > > > On Sunday, 7 May 2017 at 07:24, Alexey Egorov wrote: > > > How do I install such package? When I install (using ocamlfind) only > 'public.*' files, it gives me an error 'This is an alias for module > Private, which is missing'. If I install all of compiled files - module > 'Private' still accessible via it's name... > > You can't hide toplevel names with module aliases. > > D > > > > -- > 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 > --f403045f3f0a21d856054f02abe6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Alexey,

The generic recipe is to hid= e (not install) the cmi=C2=A0file, while still installing cmx=C2=A0and othe= r object files of the private module. An absence of the cmi file, will prev= ent users from accessing the module directly. The OASIS system=C2=A0provide= s an easy way to hide modules, with the `InternalModules` field. OASIS will= install all the necessary parts of the module (i.e., cmxs, cma, o, a, etc)= , but will not install the interface part.=C2=A0

B= est wishes,
Ivan Gotovchits

On Mon, May 8, 2017 at 6:56 AM, Daniel B=C3= =BCnzli <daniel.buenzli@erratique.ch> wrote:


On Sunday, 7 May 2017 at 07:24, Alexey Egorov wrote:

> How do I install such package? When I install (using ocamlfind) only &= #39;public.*' files, it gives me an error 'This is an alias for mod= ule Private, which is missing'. If I install all of compiled files - mo= dule 'Private' still accessible via it's name...

You can't hide toplevel names with module aliases.

D



--
Caml-list mailing list.=C2=A0 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

--f403045f3f0a21d856054f02abe6--