[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