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

Alain Frisch alain.frisch at lexifi.com
Tue Mar 19 12:58:22 GMT 2013


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


More information about the Platform mailing list