[MLton-commit] r4504

Stephen Weeks MLton@mlton.org
Tue, 9 May 2006 16:16:16 -0700


Expressed alignment constraint on pointers using

   __attribute__ ((aligned (4)))


----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c	2006-05-09 22:42:55 UTC (rev 4503)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gen/gen-types.c	2006-05-09 23:16:14 UTC (rev 4504)
@@ -63,9 +63,11 @@
 
 static const char* mlTypesHStd[] = {
   "/* ML types */",
-  "typedef unsigned char* Pointer;",
   // "typedef void* Pointer;",
   // "typedef uintptr_t Pointer;",
+  "typedef unsigned char* Pointer;",
+//  "struct PointerAux { unsigned char z[4]; } __attribute__ ((aligned (4)));",
+//  "typedef struct PointerAux* Pointer;",
   "#define Array(t) Pointer",
   "#define Ref(t) Pointer",
   "#define Vector(t) const Pointer",