<div class="gmail_quote">On Fri, Feb 4, 2011 at 4:01 PM, Matthew Fluet <span dir="ltr">&lt;<a href="mailto:matthew.fluet@gmail.com">matthew.fluet@gmail.com</a>&gt;</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 class="im">&gt; ... either we need to add another tag to imports like:<br>
&gt; _import &quot;printf&quot; stdarg : ... ;<br>
&gt; ... or we should just always set rax for every FFI call on AMD64?<br>
<br>
</div>Did you mean a &quot;varargs&quot; attribute?  That is, I would expect &quot;stdargs&quot;<br>
(or &quot;fixargs&quot;?) to be the silent default.<br></blockquote><div><br>The new varargs in C is called stdarg. A very poor name, I agree.<br> <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

It seems that setting rax for every FFI call on AMD64 would be the<br>
simplest solution.<br>
</blockquote></div><br>I agree, if only because MLton64 FFI calls are already so slow. ;)<br><br>