<div class="gmail_quote">On Mon, May 9, 2011 at 5:16 PM, Nicolas Bertolotti <span dir="ltr"><<a href="mailto:Nicolas.Bertolotti@mathworks.fr">Nicolas.Bertolotti@mathworks.fr</a>></span> wrote:<br><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="purple" lang="FR"><div>
<span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US">Their 64 bit version appears to be more conformant to what the MS tools do with the symbols (e.g. no extra “_”) which requires to change mlton/main/main.fun to set Control.labelsHaveExtra_
to false for the amd64-mingw target.</span></div></div></blockquote><div><br>FWIW, the leading _ comes from msvcrt... ie: Microsoft. <br></div><div>
<span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US"><br></span></div><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="purple" lang="FR">
<div><p class="MsoNormal"><span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US">May you please tell me where you got the “mingw” version that you included in the MLton installer?</span></p></div></div></blockquote>
<div><br><a href="http://sourceforge.net/projects/mingw-w64/">http://sourceforge.net/projects/mingw-w64/</a><br></div></div><br>... but I took a snapshot some time ago after I found a version that passed all the regressions for MLton. We currently just use this (now quite well tested) snapshot on <<a href="http://mlton.org/pages/Experimental/attachments/">http://mlton.org/pages/Experimental/attachments/</a>>.<br>
<br>