On Sat, Nov 15, 2008 at 12:58 AM, Matthew Fluet <span dir="ltr">&lt;<a href="mailto:fluet@tti-c.org">fluet@tti-c.org</a>&gt;</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 class="Ih2E3d">On Thu, 13 Nov 2008, Nicolas Bertolotti wrote:<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
* &nbsp; 03-windows-versions.patch<div class="Ih2E3d"><br>
 &nbsp; * &nbsp; This patch extends the setSysname() function that is used in<br>
 &nbsp; &nbsp; order to generate the &quot;uname&quot; string on MinGW. It makes it possible<br>
 &nbsp; &nbsp; to detect whether we are running Windows XP x64, Vista, Vista 64,<br>
 &nbsp; &nbsp; 2003 or 2008.</div></blockquote></blockquote><div><br>Clearly an improvement. Should be committed.<br>&nbsp;</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="Ih2E3d">* &nbsp; 04-windows-paths.patch<br>
 &nbsp; * &nbsp; This patch is highly related to the request Dan DuVarney has<br>
 &nbsp; &nbsp; submitted today about OS.Path. It provides support for UNC paths<br>
 &nbsp; &nbsp; (\\foo\bar\...) and handles paths like &quot;\foo&quot; as absolute paths<br>
 &nbsp; &nbsp; without a volume specification.</div></blockquote></blockquote><div><br>Let&#39;s wait to hear what happens in the sml-basis thread. You should bring up having UNC volumes as that is currently forbidden by the definition.<br>
&nbsp;<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">* &nbsp; 05-windows-exit.patch<br>
 &nbsp; * &nbsp; This patch adds support for Posix.Process.exit() on MinGW. I<br>
 &nbsp; &nbsp; guess it has been deactivated on purpose but I don&#39;t know why and I<br>
 &nbsp; &nbsp; have not experienced any issue with it.</div></blockquote></blockquote><br>To be honest, I have no idea why it&#39;s disabled either. I was even more mystified when I found that it was added in r3662 which was supposedly a commit on my behalf. I tracked down the email that included the patch I sent. &lt;<a href="http://terpstra.ca/lurker/message/20041202.044539.0cb22ee4.en.html">http://terpstra.ca/lurker/message/20041202.044539.0cb22ee4.en.html</a>&gt; ... but the changes to stub-mingw.sml are nowhere to be seen.<br>
<br>Now would be a good time for Stephen to speak up about where this came from! :-)<br><br>I don&#39;t really see any reason NOT to re-enable it, but as neither of us know why it was disabled in the first place... :-/<br>
<br></div>