[MLton] x86_64 port status

[skaller]

On Wed, 2006-05-10 at 13:57 -0400, Matthew Fluet wrote:

> I ask again: Union with what?

One type with the same alignment and size as every type used
to manipulate a PointerAux. There is a finite and fixed number
of such types (basic C integers, floats, and void*).

If everything aligns at 1, then PointerAux will too.

I'm having to guess you need this scenario: a pointer pointing
at a PointerAux interior to some other object, or, on the 
machine stack.

And you want to steal some low n=2 bits of the pointer
for another purpose, so what it points at must be
4 byte aligned. yes?

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