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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id E339C7EE09 for ; Fri, 26 Oct 2012 13:26:23 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dhouse@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of dhouse@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="dhouse@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nyc-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="dhouse@janestreet.com"; x-sender="postmaster@nyc-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmkBAClzilAmachwl2dsb2JhbABEhVCqVZIKKwEBAQEBCBYHO4IeAQEBBBICLAEBLAwPCwsNDSEhARIBBQEKEhkSEIdQAw8DAQedWWAJA4pxhDMBBYU6AwqJTgaLAWeDSoMklCSBVYEXihaDLxYphBKCGA X-IronPort-AV: E=Sophos;i="4.80,654,1344204000"; d="scan'208";a="179054771" Received: from mx1.janestreet.com (HELO nyc-dmz-mxout1.janestreet.com) ([38.105.200.112]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Oct 2012 13:26:05 +0200 Received: from nyc-qsv-mail1.delacy.com ([172.25.22.57]) by nyc-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TRi38-0004aO-Ru for caml-list@inria.fr; Fri, 26 Oct 2012 07:26:03 -0400 Received: from nyc-dmz-mxgoog1.delacy.com ([172.25.224.109] helo=mxgoog1.janestreet.com) by nyc-qsv-mail1.delacy.com with esmtps (TLSv1:AES256-SHA:256) (Exim 4.76) (envelope-from ) id 1TRi38-0007Pk-QX for caml-list@inria.fr; Fri, 26 Oct 2012 07:26:02 -0400 Received: from mail-ee0-f70.google.com ([74.125.83.70]) by mxgoog1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TRi38-00021m-MV for caml-list@inria.fr; Fri, 26 Oct 2012 07:26:02 -0400 Received: by mail-ee0-f70.google.com with SMTP id b57so2393592eek.9 for ; Fri, 26 Oct 2012 04:26:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:content-type:content-transfer-encoding; bh=LlgqopgI4sDp4oq2wuOKqnZq4yntPiy3f3/jJ7QVgRQ=; b=hMt5wopE0hYg/AE65aZnERjY0EraW7LfwPEQF12pAK4Jplkc+/ixLEom9oBHlyotp+ UB1A3S6bKq+9V3ZM9mOIc4p/T39ZrvzoR7EGGxR+tfdpot0QT1T3/PUJMRFNDPcpec61 W/KhmHAI383ou+00D/Cn9ze+t+ji5pq5ZTEsI= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:x-originating-ip:in-reply-to:references:date :message-id:subject:from:to:content-type:content-transfer-encoding :x-gm-message-state; bh=LlgqopgI4sDp4oq2wuOKqnZq4yntPiy3f3/jJ7QVgRQ=; b=TI6xfFvJeppmvoRtMmuE6rmPzDD1qblC4tNbPodzzFYU/qDa8zt0NQ6ukVrold4xOH trNJqm020gdNAZVxaHo2tvrOJjdHxaokydI68biRd//WDatHeV6fdmZl/O6xJIEjlAa5 JCltZV5Ho3vcx2/FWv8tsrs18MNKVvkWaxySbvZq+jABrLlprB58XJzBGDI5ufNbXTjM GNzRcQjT4BL5te4MIPEpJEjpZtI+GFVGfQikLQmIzPb+tqEH2K9Tzv/iEnSTuwtVeSsx Ina/syIkO2MmnTchM00sUpXdS9U4GTEvh0+8DKgmjuOPEm3zlzv16nHYKO3aH6r+EDAA bbvQ== Received: by 10.181.11.167 with SMTP id ej7mr4382915wid.11.1351250762160; Fri, 26 Oct 2012 04:26:02 -0700 (PDT) MIME-Version: 1.0 Received: by 10.181.11.167 with SMTP id ej7mr4382912wid.11.1351250762099; Fri, 26 Oct 2012 04:26:02 -0700 (PDT) Received: by 10.180.106.228 with HTTP; Fri, 26 Oct 2012 04:26:02 -0700 (PDT) X-Originating-IP: [80.169.196.210] In-Reply-To: <20121026112602.GA2781@romildo.no-ip.org> References: <20121026112602.GA2781@romildo.no-ip.org> Date: Fri, 26 Oct 2012 12:26:02 +0100 Message-ID: From: David House To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQm6wIErSVZC9eVMWSvWBMObQ3MlvNxYv+MI0JJGnhZq1iRhf2OGbPEAgFaWYWd1N4j9cTY8lrvZYHUMgT/FFPwJlqQ0q7hu/XVGt7EjG68gY3aFdxcgfIZo6x8XsQm+Tk5LwfHgWJGjHyWXdZoBOb2E5dt3pg== Subject: Re: [Caml-list] Importing specific names If you want to list the things you want, rather than listing the things you don't want, what's wrong with the following? let x =3D Module.x let y =3D Module.y ... You could abbreviate that somewhat: include (struct open Module let x =3D x let y =3D y ... end) On Fri, Oct 26, 2012 at 12:26 PM, Jos=E9 Romildo Malaquias wrote: > 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