[MLton-commit] r7551

[Wesley Terpstra]

Doubles must be 8-byte aligned even on MIP32. 
See for example: sdc1 instruction

Depending on the kernel and processor, unaligned reads/writes may be fixed up,
which explains why this problem has not appeared before now.


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

U   mlton/trunk/mlton/main/main.fun

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

Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun	2011-07-06 08:06:48 UTC (rev 7550)
+++ mlton/trunk/mlton/main/main.fun	2011-07-19 10:16:34 UTC (rev 7551)
@@ -188,6 +188,7 @@
        | AMD64 => true
        | HPPA => true
        | IA64 => true
+       | MIPS => true
        | Sparc => true
        | S390 => true
        | _ => false