[MLton] x86_64 port status

skaller skaller@users.sourceforge.net
Mon, 08 May 2006 11:37:18 +1000


On Sun, 2006-05-07 at 00:11 -0400, Matthew Fluet wrote:

> I'm hoping that they are benign.  What's going on is that we are 
> allocating space for a C struct in ML as a Word8.word array or a 
> Word8.word vector.  These are passed through the FFI as pointers:
> 
>    typedef unsigned char* Pointer;
>    #define Array(t) Pointer
>    #define Ref(t) Pointer
>    #define Vector(t) const Pointer

May break aliasing rules. Use unions. This also ensures
correct alignment.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net