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).
>