[ocaml-platform] Unique file names

[Daniel Bünzli]

Le dimanche, 3 mars 2013 à 15:30, Yaron Minsky a écrit :
> It seems like developers' lives would
> be simpler (and their ls output full of less repetitive noise) if we
> don't literally need to name files in this way.

Agreed, if we need to convince him, we could try to quantify the loss of productivity due to editor open/switch buffer completion not being unique while working on a library...

Daniel