<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st1="urn:schemas-microsoft-com:office:smarttags" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 11 (filtered medium)">
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style>
<![endif]--><o:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="PersonName"/>
<!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:blue;
text-decoration:underline;}
code
{font-family:"Courier New";}
span.EmailStyle18
{mso-style-type:personal-reply;
font-family:Arial;
color:navy;}
@page Section1
{size:595.3pt 841.9pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.Section1
{page:Section1;}
-->
</style>
</head>
<body lang=FR link=blue vlink=blue>
<div class=Section1>
<p class=MsoNormal><font size=2 color=navy face=Arial><span lang=EN-GB
style='font-size:10.0pt;font-family:Arial;color:navy'>The only reason why I do
this is that it is not possible to do a « chdir » to “<a
href="file:///\\pumpkin">\\pumpkin</a>”. This is how Windows works (too
bad) and I’m afraid there is no other way to support UNC paths.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 color=navy face=Arial><span lang=EN-GB
style='font-size:10.0pt;font-family:Arial;color:navy'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 color=navy face=Arial><span lang=EN-GB
style='font-size:10.0pt;font-family:Arial;color:navy'>I will join the
discussion…<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 color=navy face=Arial><span lang=EN-GB
style='font-size:10.0pt;font-family:Arial;color:navy'><o:p> </o:p></span></font></p>
<div style='border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt'>
<div>
<div class=MsoNormal align=center style='text-align:center'><font size=3
face="Times New Roman"><span style='font-size:12.0pt'>
<hr size=2 width="100%" align=center tabindex=-1>
</span></font></div>
<p class=MsoNormal><b><font size=2 face=Tahoma><span style='font-size:10.0pt;
font-family:Tahoma;font-weight:bold'>From:</span></font></b><font size=2
face=Tahoma><span style='font-size:10.0pt;font-family:Tahoma'> Wesley W.
Terpstra [mailto:wesley@terpstra.ca] <br>
<b><span style='font-weight:bold'>Sent:</span></b> Tuesday, November 18, 2008
12:45 AM<br>
<b><span style='font-weight:bold'>To:</span></b> <st1:PersonName
ProductID="Nicolas Bertolotti" w:st="on">Nicolas Bertolotti</st1:PersonName><br>
<b><span style='font-weight:bold'>Cc:</span></b> Matthew Fluet; mlton@mlton.org<br>
<b><span style='font-weight:bold'>Subject:</span></b> Re: [MLton] A few changes
proposals for MLton</span></font><o:p></o:p></p>
</div>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'>On Mon, Nov 17, 2008 at 11:49 PM, <st1:PersonName
ProductID="Nicolas Bertolotti" w:st="on">Nicolas Bertolotti</st1:PersonName>
<<a href="mailto:Nicolas.Bertolotti@mathworks.fr">Nicolas.Bertolotti@mathworks.fr</a>>
wrote:<o:p></o:p></span></font></p>
<div>
<blockquote style='border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;
margin-left:4.8pt;margin-right:0cm'>
<div link=blue vlink=blue>
<div>
<div style='border:none;border-left:solid windowtext 1.5pt;padding:0cm 0cm 0cm 4.0pt;
border-color:-moz-use-text-color -moz-use-text-color -moz-use-text-color blue'>
<div>
<div>
<p class=MsoNormal><font size=2 color=navy face=Arial><span lang=EN-GB
style='font-size:10.0pt;font-family:Arial;color:navy'>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><o:p></o:p></p>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<div>
<p class=MsoNormal style='margin-bottom:12.0pt'><font size=3
face="Times New Roman"><span style='font-size:12.0pt'><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 </span></font><code><font
size=2 face="Courier New"><span style='font-size:10.0pt'>"a:"</span></font></code>,
<code><font size=2 face="Courier New"><span style='font-size:10.0pt'>"A:"</span></font></code>,
<code><font size=2 face="Courier New"><span style='font-size:10.0pt'>"b:"</span></font></code>,
<code><font size=2 face="Courier New"><span style='font-size:10.0pt'>"B:"</span></font></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.<o:p></o:p></p>
</div>
</div>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'><o:p> </o:p></span></font></p>
</div>
</div>
</body>
</html>