On Mon, Nov 17, 2008 at 11:49 PM, Nicolas Bertolotti <span dir="ltr"><<a href="mailto:Nicolas.Bertolotti@mathworks.fr">Nicolas.Bertolotti@mathworks.fr</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div link="blue" vlink="blue" lang="FR">
<div>
<div style="border-style: none none none solid; border-color: -moz-use-text-color -moz-use-text-color -moz-use-text-color blue; border-width: medium medium medium 1.5pt; padding: 0cm 0cm 0cm 4pt;">
<div>
<div><font color="navy" size="2" face="Arial"><span style="font-size: 10pt; font-family: Arial; color: navy;" lang="EN-GB">I am sorry but I don't
really understand what you mean with « You should bring up having UNC
volumes as that is currently forbidden by the definition » (maybe it is
just a problem with my English understanding).</span></font></div></div></div></div></div></blockquote><div><br>Your patch changes OS.Path.fromString "\\pumpkin\media\foo" to return { vol="\\pumpkin\media", isAbs=true, arcs=["foo"] }. The problem with that is that the standard <<a href="http://mlton.org/basis/os-path.html">http://mlton.org/basis/os-path.html</a>> states "Under Microsoft Windows, the valid volume names have the form <code>"a:"</code>, <code>"A:"</code>, <code>"b:"</code>, <code>"B:"</code>, etc". That list pretty clearly doesn't intend to allow \\pumpkin\media as a volume. There was a discussion going on between Andreas and John Reppy (the basis specification editor) about the OS.Path structure. I was proposing that you join the discussion and see if the basis specification could be changed to allow vol="\\pumpkin\media" the way your patch does.<br>
<br></div></div><br>