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

[Alain Frisch]

On 03/19/2013 01:20 PM, Gabriel Scherer wrote:
>> I'm more concerned with the fact that order matters even if there is no
>> conflict, which, again is a departure from today's situation.  ocamlfind
>> will need to pass -I flags in the correct order.
>
> I'm surprised: isn't the order of -I flags already meaningful in case
> of two compilation units having the same name? It looks like this is
> the exact same problem (with the difference that a flexible namespace
> language could allow users to avoid any such conflict by redefining
> conflict-free names in any situation).

That's why I added "even if there is no conflict".  In most of the 
cases, there is no conflict, and in that case, the order does not 
matter.  With Leo's proposal, an alias in foo.mlpath would be resolved 
only using -I flags before "-I foo.mlpath".


Alain