[ocaml-platform] Changes to my previous proposal for namespaces

[Alain Frisch]

On 03/19/2013 02:09 PM, Leo White wrote:
> Currently, shadowing a compilation unit "foo.cmi" involves creating
> another unit called "foo.cmi". Since these have the same name they can't
> be linked within the same program, which limits the usefulness of this
> kind of shadowing. With search path files this is no longer the case.

I thought your proposal still required unit names to be globally unique. 
  Do you propose a way to change the internal name independently of the 
filename ?

-- Alain