<div dir="ltr"><div>On the contrary, I'm very glad to hear your support for this feature as well! My needs are not as complex as yours, but this is a major issue for me.<br><br></div>If I may state the problem more strongly: plenty of programmers have already created independent packages with a file named <a href="http://list.ml">list.ml</a>, or something similarly conflict-prone, and I see no reason why they will (or should) stop doing so in the future. If this namespace proposal is intended to serve the greater OCaml community, then I consider the globally unique filename requirement such a serious problem that any proposal which fails to solve it does not provide namespaces in a sense I find meaningful.<br>
<br>No offense intended here, but I am highly disturbed that Alain sees globally unique filenames as a potential solution, when to me it is a fundamental part of the problem.<br><div><div><div><div class="gmail_extra"><br>
<div class="gmail_quote">On Mon, Mar 4, 2013 at 6:50 PM, Yaron Minsky <span dir="ltr"><<a href="mailto:yminsky@janestreet.com" target="_blank">yminsky@janestreet.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5">
> Could all of these benefits be obtained by having longer names for<br>
> files generated as part of the compilation (.cmx, .cmo, .cmi, etc.),<br>
> but keep the source file names short?  i.e., one could imagine that if<br>
> you put "-put-in-namespace core" on the command-line to ocamlc, it<br>
> would generate "<a href="http://core_list.ml" target="_blank">core_list.ml</a>" when given the file "<a href="http://list.ml" target="_blank">list.ml</a>".  The onus<br>
> would be on the build system to provide said flags, but it would seem<br>
> to simplify things thereupon.<br>
<br>
</div></div>Apologies: Catching up on the thread, this seems essentially the same<br>
as the -unit-name-prefix proposal that Romain mentions.<br></blockquote></div></div></div></div></div></div>