[ocaml-platform] Followup to Leo's proposal

[Alain Frisch]

On 03/13/2013 12:44 PM, Leo White wrote:
> Without auto-opens the namespace system is completely oblivious to the
> actual contents of modules. With auto-opens the compiler must look
> inside modules to work out whether "Core#Foo" refers to a member of Core
> or a sub-module of one of its auto-opened modules.

My understanding of Yaron's proposal was that automatically opened 
modules would only be opened when the namespace is, not in case of 
explicit qualification.

-- Alain