caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ben Millwood <bmillwood@janestreet.com>
To: Kenneth Adam Miller <kennethadammiller@gmail.com>
Cc: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] Qualifying Module Names
Date: Wed, 10 Jun 2015 15:35:10 +0100	[thread overview]
Message-ID: <CA+MHO51NDGbKw6+fb2ZCa-1_3gjJhk6owHPGtEykuuV8WZistQ@mail.gmail.com> (raw)
In-Reply-To: <CAK7rcp__9o8DsA_FP0g1CV9FxVsQJo9uS9PHG4cFyFURnOtDNg@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 730 bytes --]

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 <kennethadammiller@gmail.com>
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).
>

[-- Attachment #2: Type: text/html, Size: 1157 bytes --]

  reply	other threads:[~2015-06-10 14:35 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-10 14:16 Kenneth Adam Miller
2015-06-10 14:35 ` Ben Millwood [this message]
2015-06-10 14:41   ` Kenneth Adam Miller
2015-06-10 15:08 ` Oliver Bandel

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CA+MHO51NDGbKw6+fb2ZCa-1_3gjJhk6owHPGtEykuuV8WZistQ@mail.gmail.com \
    --to=bmillwood@janestreet.com \
    --cc=caml-list@inria.fr \
    --cc=kennethadammiller@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).