[MLton-commit] r7554

[Wesley Terpstra]

ARM also expects doubles to be aligned.
Really, architectures which support 4-byte alignment are the exception here.


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

U   mlton/trunk/mlton/main/main.fun
U   mlton/trunk/package/debian/patches/22-fixes-20110319-to-20110719.patch

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

Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun	2011-07-19 10:45:17 UTC (rev 7553)
+++ mlton/trunk/mlton/main/main.fun	2011-07-19 11:23:18 UTC (rev 7554)
@@ -186,6 +186,7 @@
       case !Control.Target.arch of
          Alpha => true
        | AMD64 => true
+       | ARM => true
        | HPPA => true
        | IA64 => true
        | MIPS => true

Modified: mlton/trunk/package/debian/patches/22-fixes-20110319-to-20110719.patch
===================================================================
--- mlton/trunk/package/debian/patches/22-fixes-20110319-to-20110719.patch	2011-07-19 10:45:17 UTC (rev 7553)
+++ mlton/trunk/package/debian/patches/22-fixes-20110319-to-20110719.patch	2011-07-19 11:23:18 UTC (rev 7554)
@@ -4306,8 +4306,11 @@
            | SML => "sml"
            | MLB => "mlb"
            | Generated => "g"
-@@ -190,6 +188,7 @@
+@@ -190,8 +188,10 @@
+       case !Control.Target.arch of
+          Alpha => true
         | AMD64 => true
++       | ARM => true
         | HPPA => true
         | IA64 => true
 +       | MIPS => true