So in this case you would have to look for list.cmi, std.cmi then core.cmi (if you don't know which are namespaces, and which are actual compilation unit names).<br><br>One problem with this proposal is that the compiler has no knowledge of the set of "existing" namespaces. This combines very badly with the module/namespace syntactic ambiguity: when you write "open Lsit" (List, with a typo), the compiler will silently accept the opening of the Lsit namespace. I formalized this semantics in an earlier proposal, but  Fabrice noticed that this was quite bad from an user interface point of view, and further proposals used a model with "existing" namespaces and "non-existing" namespaces -- in the current proposal linked above, the compiler consults an explicit hierarchical mapping.<br>


(Removing the syntactic ambiguity makes this slightly less of a problem, but it's still a pain to not be warned of namespace typos.)<br><br><div class="gmail_quote">On Thu, Feb 21, 2013 at 5:01 PM, Leo White <span dir="ltr"><<a href="mailto:lpw25@cam.ac.uk" target="_blank">lpw25@cam.ac.uk</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>On Feb 21 2013, Gabriel Scherer wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
How would one specify which search path is associated to a given namespace<br>
path (eg. Core.Std)? Is it easy to integrate into ocamlfind?<br>
<br>
</blockquote>
<br></div>
.cmi files would be looked up exactly as they are now, using the search path specified with -I options. The only difference is that when it finds a "list.cmi" file it checks if that file is attached to "Core.Std". If the file is attached to that namespace then it is used, otherwise the compiler keeps looking in the search path for more "list.cmi" files.<br>



<br>
</blockquote></div><br>