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 E91387EE09 for ; Fri, 26 Oct 2012 17:20:32 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.115 as permitted sender) identity=mailfrom; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.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@nyc-dmz-mxout2.janestreet.com) identity=helo; client-ip=38.105.200.115; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@nyc-dmz-mxout2.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlABABGpilAmachzl2dsb2JhbABEhVGqV5IPKwEBAQEBCBYHO4IeAQEBBBICLAEBLAsBDwsLAwoNISEBEgEFAQoSBhMSEIdSAw8DCJ4DYgkDinOEMwEFhUEDColOBosKZ4ZulCGBVYEXiheDLxYphC2BfQ X-IronPort-AV: E=Sophos;i="4.80,654,1344204000"; d="scan'208";a="160530951" Received: from mx2.janestreet.com (HELO nyc-dmz-mxout2.janestreet.com) ([38.105.200.115]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Oct 2012 17:20:31 +0200 Received: from nyc-qsv-mail1.delacy.com ([172.25.22.57]) by nyc-dmz-mxout2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TRli2-0001LF-55 for caml-list@inria.fr; Fri, 26 Oct 2012 11:20:30 -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 1TRli2-0006VW-3i for caml-list@inria.fr; Fri, 26 Oct 2012 11:20:30 -0400 Received: from mail-ye0-f198.google.com ([209.85.213.198]) by mxgoog1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1TRli2-0007sx-1h for caml-list@inria.fr; Fri, 26 Oct 2012 11:20:30 -0400 Received: by mail-ye0-f198.google.com with SMTP id q10so7176031yen.9 for ; Fri, 26 Oct 2012 08:20:29 -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:cc:content-type :content-transfer-encoding; bh=MO3aoTWXGelw4LEXA++KQdW9Enltt89zxqaimZvJJxM=; b=YghxA5wlyojq5EhtDLeaZUz8Nf8PEqILTc5DX5iYP5ulb2+sQ9l1SY1Fr9UL2ZCvE6 K3lEj0jDJCW3inpv6owNVfFeBG8qDk0ygphhDOCVA2k51rjxkd9Np8gQ4rwOtWkjXbOb 6lPtaOAwJYNSQkZn1blgst9kUmPk/lWdM0CB0= 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:cc:content-type :content-transfer-encoding:x-gm-message-state; bh=MO3aoTWXGelw4LEXA++KQdW9Enltt89zxqaimZvJJxM=; b=aBVWpkFtzQPH0kXDlUUqCpNQA3kTKXdTwGw11enmjFNAEyegF2pr82l8fZxw10GFPQ g/HEq1jCQsVvwKVID7PzaecxWa77loXD2RH9GmGmC/IHb/oWjqvNqmNK4LruQDh9+0us 20qeM69bcaSEePdyEAmKh2iSKM6RH3jvalpRcX81tyqOlSLSdDo1hWYVd+h+ftfIyuF7 Ye3sOsT1lEysuOz/HdVSwFjChqL4S9Z0IaHNnqESAoc5sTx833hxBOlD90kbkQ9JOIic 6VCuGmhp4YaO/y2SFThsQ/YFkBhwkSDUBgsOsfsPkunqoWLLkvD0dXI1s0an0+sdkF1+ SMZA== Received: by 10.220.150.145 with SMTP id y17mr19401730vcv.11.1351264829786; Fri, 26 Oct 2012 08:20:29 -0700 (PDT) MIME-Version: 1.0 Received: by 10.220.150.145 with SMTP id y17mr19401722vcv.11.1351264829721; Fri, 26 Oct 2012 08:20:29 -0700 (PDT) Received: by 10.58.203.225 with HTTP; Fri, 26 Oct 2012 08:20:29 -0700 (PDT) X-Originating-IP: [38.105.200.252] In-Reply-To: <508AA2AB.5040401@gmail.com> References: <20121026112602.GA2781@romildo.no-ip.org> <508AA2AB.5040401@gmail.com> Date: Fri, 26 Oct 2012 11:20:29 -0400 Message-ID: From: Yaron Minsky To: Edgar Friendly Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQmDs2rVdnebuq8Dea8W5iorOl19DBK8fZMbBFVuh21EXYQvtXtkFwOB1cebZe9N8SK2BJCf57a19FA1qt861lRMTqV0wTF/6oolyiqqtFcI/FL1xHdXPsGfk0puPV8F3cUL5GxZJksxxKvGWBvWqiHnmFc5Fw== Subject: Re: [Caml-list] Importing specific names Ah, that's great! I wish I could do it for binding sub-modules too! y On Fri, Oct 26, 2012 at 10:48 AM, Edgar Friendly wro= te: > On 10/26/2012 7:26 AM, 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 >> > If I want to import only a few values from a module, I often use something > like this: > > let (a,b,c) =3D Module.(a,b,c) > > E. > > > -- > 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