[MLton-commit] r5438

[Matthew Fluet]

AMD64 has different sizes
----------------------------------------------------------------------

A   mlton/branches/on-20050822-x86_64-branch/regression/size2.amd64-linux.ok

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

Added: mlton/branches/on-20050822-x86_64-branch/regression/size2.amd64-linux.ok
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/regression/size2.amd64-linux.ok	2007-03-15 22:33:15 UTC (rev 5437)
+++ mlton/branches/on-20050822-x86_64-branch/regression/size2.amd64-linux.ok	2007-03-15 22:56:22 UTC (rev 5438)
@@ -0,0 +1,27 @@
+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.
+The size of a continuation option ref is = 11152 bytes.
+13
+The size of a continuation option ref is = 16 bytes.