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 8AAED7EEEF for ; Wed, 10 Jun 2015 16:35:12 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bmillwood@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bmillwood@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DAAQBBSnhVnHDIaSZcg2RfBoMYvCYgAQWFfgKBLwdMAQEBAQEBEgEBAQEBBhYJT4QjAQEBAgESER0BATcBBAsLBAEGNwICIQESAQUBHAYTIod3AwoIAwqgQz4xik9whGQBBZlxDYVAAQEBAQEBBAEBAQEBAQEBFAYKizmCTYI5B4ItDC8SgTOLdowfhRCBYIEwjzmDN4IREiOBFYQdbgGCRgEBAQ X-IPAS-Result: A0DAAQBBSnhVnHDIaSZcg2RfBoMYvCYgAQWFfgKBLwdMAQEBAQEBEgEBAQEBBhYJT4QjAQEBAgESER0BATcBBAsLBAEGNwICIQESAQUBHAYTIod3AwoIAwqgQz4xik9whGQBBZlxDYVAAQEBAQEBBAEBAQEBAQEBFAYKizmCTYI5B4ItDC8SgTOLdowfhRCBYIEwjzmDN4IREiOBFYQdbgGCRgEBAQ X-IronPort-AV: E=Sophos;i="5.13,587,1427752800"; d="scan'208";a="164373218" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 10 Jun 2015 16:35:11 +0200 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with smtp (Exim 4.82) (envelope-from ) id 1Z2h5y-0003xE-RK for caml-list@inria.fr; Wed, 10 Jun 2015 10:35:10 -0400 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BVeEse-AAABZ4-aF; 2015-06-10 10:35:10.835731-04:00 Received: from mail-qk0-f169.google.com ([209.85.220.169]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1Z2h5y-0005E2-Ol for caml-list@inria.fr; Wed, 10 Jun 2015 10:35:10 -0400 Received: by qkhq76 with SMTP id q76so25966916qkh.2 for ; Wed, 10 Jun 2015 07:35:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=WcXcsQAlXTbK5hTzXxkVrBiCF8Caoh0ZiSGsu/Dtq6A=; b=QUdi8Fy6uNXksRgx6UER84JGPW267boKn+owo4NKqSEb0L9iUl2hDE0zXRyqHWkfzD a+yrfOSz0ScSvvKE+5rDX6vcxshuKCxgXqyMpt2cfAETszV4ZScf5Na5UV+BbDydW9PV uhfY/CDEtaxr/E80B6wwZetBL/NsGFrZr/2iE= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=WcXcsQAlXTbK5hTzXxkVrBiCF8Caoh0ZiSGsu/Dtq6A=; b=MM4ovCsXCVI736xef7ulJMKw2M32QJZf3ty5F+snR7g2cu2kJjUDvsCTW66AO44lKg /yTmsaak7pioWmSM6NU+Ccpb02vRfBvTspUbaJqTF3WR+oXbdhxiQ0o/iqitF1tGtwXm NHKKlCSjR+MvH5hg0L9a8GkUjOrBaTpQj/C4wjh3WKWIEqwtDos81nzA09V5Cht40jxd jgRjgHgDaMSjPpV/WvqUVeWlqtLxzI1LVj3/aQJb5tMIR9i5TJk3E420sriooDCYSXou K6oES7IKQmcpLRtO0QlXXudZ0aKKmM40JwRP6rCqmoB5DOdyuvcfwHYO6u8mJM7qejdR D0OQ== X-Gm-Message-State: ALoCoQkHRYyvaZmZ68cDlIUZdDZailUGi3ExODBBpYqDrrqAnz2b418FB4NtBT3V34Q0nsZzjLGWNLfjSnKW6WxhQq8xIq1K8fIvgvqQF56u2GKM1w4Ug17VnhTjBSC1OQpH46rLwAQE X-Received: by 10.140.96.43 with SMTP id j40mr4221308qge.22.1433946910508; Wed, 10 Jun 2015 07:35:10 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.140.96.43 with SMTP id j40mr4221298qge.22.1433946910389; Wed, 10 Jun 2015 07:35:10 -0700 (PDT) Received: by 10.96.223.194 with HTTP; Wed, 10 Jun 2015 07:35:10 -0700 (PDT) In-Reply-To: References: Date: Wed, 10 Jun 2015 15:35:10 +0100 Message-ID: From:Ben Millwood To:Kenneth Adam Miller Cc:caml users Content-Type: multipart/alternative; boundary=001a113a974838924305182ac8ac X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Qualifying Module Names --001a113a974838924305182ac8ac Content-Type: text/plain; charset=UTF-8 Your example superficially looks like it should work. Does the first example also work if you drop the open statement? Consider the possibility that you are actually picking up Foo from somewhere else. On 10 June 2015 at 15:16, Kenneth Adam Miller wrote: > I ran into a quirk today- > > I noticed that if I first do: > > open My_module.Submodule > module Blah = Foo.Bar > > That my code would compile, but doing this: > > module Blah = My_module.Submodule.Foo.Bar > > will *not*. Why is that? Is there any way to fully qualify a module name > in the latter manner (the code of the latter manner was fully machine > generated, and I would like the machine generated code not have to be > edited). > --001a113a974838924305182ac8ac Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Your example superficially looks like it should work. Does= the first example also work if you drop the open statement? Consider the p= ossibility that you are actually picking up Foo from somewhere else.
<= div class=3D"gmail_extra">
On 10 June 2015 at= 15:16, Kenneth Adam Miller <kennethadammiller@gmail.com>= wrote:
I ran int= o a quirk today-

I noticed that if I first do:

open My_module.Submodule
module Blah =3D Foo.Bar<= /div>

That my code would compile, but doing this:
<= div>
module Blah =3D My_module.Submodule.Foo.Bar
will *not*. Why is that? Is there any way to fully qualify a m= odule name in the latter manner (the code of the latter manner was fully ma= chine generated, and I would like the machine generated code not have to be= edited).

--001a113a974838924305182ac8ac--