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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 3F46F7EE09 for ; Fri, 26 Oct 2012 17:26:50 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of didier.cassirame@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="didier.cassirame@gmail.com"; x-sender="didier.cassirame@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of didier.cassirame@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="didier.cassirame@gmail.com"; x-sender="didier.cassirame@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="didier.cassirame@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQCAH+rilDRVda2k2dsb2JhbABEhhiqEIkoAYhmCCMBAQEBCQkLCRQEI4IeAQEBAwESAg8dARsSDAMBCwYFBAEGGh0CAiEBAREBBQEKEhkIChCHUQEDCQYLngBiCQOLYU+CdoR+ChknAwpZiHUBBQyKfoQxghGBEwOUHoFVgReKF4MvFimEEw X-IronPort-AV: E=Sophos;i="4.80,654,1344204000"; d="scan'208";a="160531845" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Oct 2012 17:26:37 +0200 Received: by mail-ob0-f182.google.com with SMTP id wc20so4770495obb.27 for ; Fri, 26 Oct 2012 08:26:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=rl6blD8CfzLpRwyd6AA9vGX8HoxqlzT7sQWTLYODTDY=; b=z4834SGPEHC4hqcc6kTztmyZIDDzSEDXI4L6eA9miJ3C2K/oWlU/keSouaHGYrIVDC gU3w2Qb/EXEhZ4F2LyvW2yW8Jm1ZFGMxVjQDeizL2M/CPiSK4vODJJzmSNJjVXteycgG PbLte9+svvmZXUXNe3XEzvuYgogPk3tQTjNmuiCh2OtoIEhWGOVNmzxLOr06s1nupNdV uByqZylYYldpDSlFrlzN1F689K0ms+tsDtTJos7y64CR3WCsmTvzgvht4dZSlfg9RYIq +LBQwa5R0Llx8WBCXDnYPdX3pJwX3hfimwd4VUmxRmY4zB141DaFMbzyFeROmtm3uOY2 jwUA== Received: by 10.60.31.101 with SMTP id z5mr20486786oeh.110.1351265196534; Fri, 26 Oct 2012 08:26:36 -0700 (PDT) MIME-Version: 1.0 Received: by 10.60.137.198 with HTTP; Fri, 26 Oct 2012 08:26:15 -0700 (PDT) In-Reply-To: <20121026112602.GA2781@romildo.no-ip.org> References: <20121026112602.GA2781@romildo.no-ip.org> From: Didier Cassirame Date: Fri, 26 Oct 2012 17:26:15 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=e89a8fb1f196096a5c04ccf7f2ae Subject: Re: [Caml-list] Importing specific names --e89a8fb1f196096a5c04ccf7f2ae Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable One way to do that is to define the signature you need, and restrict the module with it. module Restricted =3D (Module : sig val a ... end ) open Restricted didier 2012/10/26 Jos=C3=A9 Romildo Malaquias > Hello. > > It seems that the expression ocaml "open module-path" exposes all names > exported by module-path. > > Is there any way of exposing only a restrict set of names from a > module-path, instead of all names? > > Romildo > > -- > 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 > --e89a8fb1f196096a5c04ccf7f2ae Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable One way to do that is to define the signature you need, and restrict the mo= dule with it.

module Restricted =3D (Module : sig val a = ... end )

open Restricted

didier

2012/10/26 Jos=C3=A9 Romildo Malaquias <j.romildo@gmail.com>
Hello.

It seems that the expression ocaml "open module-path" exposes all= names
exported by module-path.

Is there any way of exposing only a restrict set of names from a
module-path, instead of all names?

Romildo

--
Caml-list mailing list. =C2=A0Subscription management and archives:
ht= tps://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

--e89a8fb1f196096a5c04ccf7f2ae--