[MLton-commit] r7265

[Wesley Terpstra]

I need MLton to build under debian squeeze in order to upload it...
Thus -align 8 on amd64 seems the expedient move.


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

U   mlton/trunk/mlton/main/main.fun
U   mlton/trunk/regression/size2.amd64-darwin.ok
U   mlton/trunk/regression/size2.amd64-freebsd.ok
U   mlton/trunk/regression/size2.amd64-linux.ok
U   mlton/trunk/regression/size2.amd64-mingw.ok

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

Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun	2009-10-14 15:19:41 UTC (rev 7264)
+++ mlton/trunk/mlton/main/main.fun	2009-10-14 15:59:45 UTC (rev 7265)
@@ -170,6 +170,7 @@
    in
       case !Control.Target.arch of
          Alpha => true
+       | AMD64 => true
        | HPPA => true
        | IA64 => true
        | Sparc => true

Modified: mlton/trunk/regression/size2.amd64-darwin.ok
===================================================================
--- mlton/trunk/regression/size2.amd64-darwin.ok	2009-10-14 15:19:41 UTC (rev 7264)
+++ mlton/trunk/regression/size2.amd64-darwin.ok	2009-10-14 15:59:45 UTC (rev 7265)
@@ -1,24 +1,24 @@
 The size of a char is = 0 bytes.
-The size of an int list of length 4 is = 80 bytes.
-The size of a string of length 10 is = 36 bytes.
+The size of an int list of length 4 is = 96 bytes.
+The size of a string of length 10 is = 40 bytes.
 The size of an int array of length 10 is = 64 bytes.
 The size of a double array of length 10 is = 104 bytes.
-The size of a (word32 * double) array of length 10 is = 144 bytes.
+The size of a (word32 * double) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
 The size of a (word64 * double) array of length 10 is = 184 bytes.
-The size of a (word16 * double) array of length 10 is = 144 bytes.
+The size of a (word16 * double) array of length 10 is = 184 bytes.
 The size of a word64 array of length 10 is = 104 bytes.
-The size of a (word32 * word64) array of length 10 is = 144 bytes.
+The size of a (word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word64 * word64) array of length 10 is = 184 bytes.
-The size of a (word16 * word64) array of length 10 is = 144 bytes.
+The size of a (word16 * word64) array of length 10 is = 184 bytes.
 The size of an array of length 10 of 2-ples of ints is = 104 bytes.
 The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
 The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
 The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
-The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1184 bytes.
-The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes.
+The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
-The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of a useless function is = 0 bytes.

Modified: mlton/trunk/regression/size2.amd64-freebsd.ok
===================================================================
--- mlton/trunk/regression/size2.amd64-freebsd.ok	2009-10-14 15:19:41 UTC (rev 7264)
+++ mlton/trunk/regression/size2.amd64-freebsd.ok	2009-10-14 15:59:45 UTC (rev 7265)
@@ -1,48 +1,24 @@
 The size of a char is = 0 bytes.
-The size of an int list of length 4 is = 80 bytes.
-The size of a string of length 10 is = 36 bytes.
+The size of an int list of length 4 is = 96 bytes.
+The size of a string of length 10 is = 40 bytes.
 The size of an int array of length 10 is = 64 bytes.
 The size of a double array of length 10 is = 104 bytes.
-The size of a (word32 * double) array of length 10 is = 144 bytes.
+The size of a (word32 * double) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
 The size of a (word64 * double) array of length 10 is = 184 bytes.
-The size of a (word16 * double) array of length 10 is = 144 bytes.
+The size of a (word16 * double) array of length 10 is = 184 bytes.
 The size of a word64 array of length 10 is = 104 bytes.
-The size of a (word32 * word64) array of length 10 is = 144 bytes.
+The size of a (word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word64 * word64) array of length 10 is = 184 bytes.
-The size of a (word16 * word64) array of length 10 is = 144 bytes.
+The size of a (word16 * word64) array of length 10 is = 184 bytes.
 The size of an array of length 10 of 2-ples of ints is = 104 bytes.
 The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
 The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
 The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
-The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1184 bytes.
-The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes.
+The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
-The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of a useless function is = 0 bytes.
-The size of a char is = 0 bytes.
-The size of an int list of length 4 is = 80 bytes.
-The size of a string of length 10 is = 36 bytes.
-The size of an int array of length 10 is = 64 bytes.
-The size of a double array of length 10 is = 104 bytes.
-The size of a (word32 * double) array of length 10 is = 144 bytes.
-The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
-The size of a (word64 * double) array of length 10 is = 184 bytes.
-The size of a (word16 * double) array of length 10 is = 144 bytes.
-The size of a word64 array of length 10 is = 104 bytes.
-The size of a (word32 * word64) array of length 10 is = 144 bytes.
-The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
-The size of a (word64 * word64) array of length 10 is = 184 bytes.
-The size of a (word16 * word64) array of length 10 is = 144 bytes.
-The size of an array of length 10 of 2-ples of ints is = 104 bytes.
-The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
-The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
-The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
-The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1184 bytes.
-The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1184 bytes.
-The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
-The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1184 bytes.
-The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
-The size of a useless function is = 0 bytes.

Modified: mlton/trunk/regression/size2.amd64-linux.ok
===================================================================
--- mlton/trunk/regression/size2.amd64-linux.ok	2009-10-14 15:19:41 UTC (rev 7264)
+++ mlton/trunk/regression/size2.amd64-linux.ok	2009-10-14 15:59:45 UTC (rev 7265)
@@ -1,24 +1,24 @@
 The size of a char is = 0 bytes.
-The size of an int list of length 4 is = 80 bytes.
-The size of a string of length 10 is = 36 bytes.
+The size of an int list of length 4 is = 96 bytes.
+The size of a string of length 10 is = 40 bytes.
 The size of an int array of length 10 is = 64 bytes.
 The size of a double array of length 10 is = 104 bytes.
-The size of a (word32 * double) array of length 10 is = 144 bytes.
+The size of a (word32 * double) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
 The size of a (word64 * double) array of length 10 is = 184 bytes.
-The size of a (word16 * double) array of length 10 is = 144 bytes.
+The size of a (word16 * double) array of length 10 is = 184 bytes.
 The size of a word64 array of length 10 is = 104 bytes.
-The size of a (word32 * word64) array of length 10 is = 144 bytes.
+The size of a (word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word64 * word64) array of length 10 is = 184 bytes.
-The size of a (word16 * word64) array of length 10 is = 144 bytes.
+The size of a (word16 * word64) array of length 10 is = 184 bytes.
 The size of an array of length 10 of 2-ples of ints is = 104 bytes.
 The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
 The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
 The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
-The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1184 bytes.
-The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes.
+The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
-The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of a useless function is = 0 bytes.

Modified: mlton/trunk/regression/size2.amd64-mingw.ok
===================================================================
--- mlton/trunk/regression/size2.amd64-mingw.ok	2009-10-14 15:19:41 UTC (rev 7264)
+++ mlton/trunk/regression/size2.amd64-mingw.ok	2009-10-14 15:59:45 UTC (rev 7265)
@@ -1,24 +1,24 @@
 The size of a char is = 0 bytes.
-The size of an int list of length 4 is = 80 bytes.
-The size of a string of length 10 is = 36 bytes.
+The size of an int list of length 4 is = 96 bytes.
+The size of a string of length 10 is = 40 bytes.
 The size of an int array of length 10 is = 64 bytes.
 The size of a double array of length 10 is = 104 bytes.
-The size of a (word32 * double) array of length 10 is = 144 bytes.
+The size of a (word32 * double) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
 The size of a (word64 * double) array of length 10 is = 184 bytes.
-The size of a (word16 * double) array of length 10 is = 144 bytes.
+The size of a (word16 * double) array of length 10 is = 184 bytes.
 The size of a word64 array of length 10 is = 104 bytes.
-The size of a (word32 * word64) array of length 10 is = 144 bytes.
+The size of a (word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
 The size of a (word64 * word64) array of length 10 is = 184 bytes.
-The size of a (word16 * word64) array of length 10 is = 144 bytes.
+The size of a (word16 * word64) array of length 10 is = 184 bytes.
 The size of an array of length 10 of 2-ples of ints is = 104 bytes.
 The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
 The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
 The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
-The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1184 bytes.
-The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes.
+The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
-The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1184 bytes.
+The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
 The size of a useless function is = 0 bytes.