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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8CE247FA5E for ; Tue, 9 May 2017 23:01:18 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AskZrWxT/hSKOU1CPPncapUR6oNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZB2N2/xhgRfzUJnB7Loc0qyN4vymATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRPDI28?= =?us-ascii?q?cYUBDOgOPehFoYf6qFQBsRSwChS3CePzyDJFhGP60Lcm3+kjFwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj7Or0dUea0zKbWyTXMd+5bwSv76InJdhAhoOyHULVtfsXLz0kvFh3KjlGK?= =?us-ascii?q?pYP+IjOayOINsmmf7+phTu+glXQnqxtrrTizx8csk5TJiZwPxl/Y9SV02YA4Ls?= =?us-ascii?q?C7Rk5jedOpEpRduzuaOoZ2WM8vQGBltDw4x7AJoZK3YSoHxZc9yxLCb/GKcZKE?= =?us-ascii?q?7gztWeueOzt0mXxodba5ih2v60av0Pf8WdOx0FtSripKjN3MtncV2hzI78iHVu?= =?us-ascii?q?N98l2v2DmRzA/T5PtLLlwolaraLJ4hxKQ8mYYUsUTGBiP2mUP2g7GKdkg8+OWl?= =?us-ascii?q?5P7rb7Xmq5OGNIJ5ixvyP6Yhl8CnBOQ3KAkOX2yV+eSm073j+FX0T6hQgf0wk6?= =?us-ascii?q?nWrpTaKd4Aqa6kHQBV1Ici6xK+Dzq9ztsYh2MHI0hZeBKGlojpJk/BLOrkAve/?= =?us-ascii?q?m1isiitkx+jaPr39BZXANmTMn63kfbZ58kJczAszzctD559PEbEAIPfzWlfru9?= =?us-ascii?q?DCDx85NRa0w+f9B9ln2IMeQzHHPqjMEb3btxen4f4oPeKMZZMO8GL8NfcN5vPj?= =?us-ascii?q?gDk+g1BLLoez2p5CRHm+H/liFG8NZ2jog59VHW4Mvwc6Cub3hVuQVT97amyoVr?= =?us-ascii?q?49/yw2TommW9SQDruxiaCMiX/oVqZdYXpLXxXVSS/l?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ALBwBjLRJZaUpWN0pdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFQEBAQECAQEBAQgBAQEBhA+EcosLkGKVcoIPhiQChS4WAQEBAQEBAQEBAQE?= =?us-ascii?q?SCwsLCBURMYIzIgGCQAEFI1YQCw4KAgImAgJHEAYbihkEswiCJopxAQEBBwEBA?= =?us-ascii?q?QEkgQuKTYQog0UugjEBBJ4FeZ0SEIZplEAmBoE1gUuGdYc6gi4BAQE?= X-IPAS-Result: =?us-ascii?q?A0ALBwBjLRJZaUpWN0pdGwEBAQMBAQEJAQEBFQEBAQECAQE?= =?us-ascii?q?BAQgBAQEBhA+EcosLkGKVcoIPhiQChS4WAQEBAQEBAQEBAQESCwsLCBURMYIzI?= =?us-ascii?q?gGCQAEFI1YQCw4KAgImAgJHEAYbihkEswiCJopxAQEBBwEBAQEkgQuKTYQog0U?= =?us-ascii?q?ugjEBBJ4FeZ0SEIZplEAmBoE1gUuGdYc6gi4BAQE?= X-IronPort-AV: E=Sophos;i="5.38,316,1491256800"; d="scan'208";a="272391552" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 May 2017 23:01:17 +0200 Received: from [172.20.10.2] (139.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.234.139]) by smtp.webfaction.com (Postfix) with ESMTP id D8B502078689; Tue, 9 May 2017 21:01:14 +0000 (UTC) Date: Tue, 9 May 2017 23:01:12 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Ivan Gotovchits Cc: Alexey Egorov , caml-list Message-ID: <53B38F9A1D3D4732A24E8EF40B907B3F@erratique.ch> In-Reply-To: References: <1494134647.612201743@f426.i.mail.ru> <645DF7BCD0884CF29575F7F16193744D@erratique.ch> X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Subject: Re: [Caml-list] Installing library with hidden modules On Monday, 8 May 2017 at 14:49, Ivan Gotovchits wrote: > 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. If I'm not mistaken you can't do that with module aliases, you'll need the cmi files of the right hand side of the alias (`module M : sig end = M` is invalid syntax). Besides it's not because you hide the cmi files that the names won't show up at link time. If your "hidden" toplevel names are generic (let's say `Config`), they will still prevent linking with other libraries that define the same generic names. Again, you can't hide toplevel names using module aliases. Best, Daniel