This patch is needed for arm64, when you upgrade to 20130715.
diff -ru mlton-20130715.orig/lib/stubs/mlton-stubs/mlton.sml mlton-20130715/lib/stubs/mlton-stubs/mlton.sml
--- mlton-20130715.orig/lib/stubs/mlton-stubs/mlton.sml
+++ mlton-20130715/lib/stubs/mlton-stubs/mlton.sml
@@ -158,12 +158,13 @@
structure Arch =
struct
- datatype t = Alpha | AMD64 | ARM | HPPA | IA64 | m68k |
+ datatype t = Alpha | AMD64 | ARM | ARM64 | HPPA | IA64 | m68k |
MIPS | PowerPC | PowerPC64 | S390 | Sparc | X86
val all = [(Alpha, "Alpha"),
(AMD64, "AMD64"),
(ARM, "ARM"),
+ (ARM64, "ARM64"),
(HPPA, "HPPA"),
(IA64, "IA64"),
(m68k, "m68k"),
diff -ru mlton-20130715.orig/lib/stubs/mlton-stubs/platform.sig mlton-20130715/lib/stubs/mlton-stubs/platform.sig
--- mlton-20130715.orig/lib/stubs/mlton-stubs/platform.sig
+++ mlton-20130715/lib/stubs/mlton-stubs/platform.sig
@@ -9,7 +9,7 @@
sig
structure Arch:
sig
- datatype t = Alpha | AMD64 | ARM | HPPA | IA64 | m68k |
+ datatype t = Alpha | AMD64 | ARM | ARM64 | HPPA | IA64 | m68k |
MIPS | PowerPC | PowerPC64 | S390 | Sparc | X86
val fromString: string -> t option
diff -ru mlton-20130715.orig/mlton/main/main.fun mlton-20130715/mlton/main/main.fun
--- mlton-20130715.orig/mlton/main/main.fun
+++ mlton-20130715/mlton/main/main.fun
@@ -187,6 +187,7 @@
Alpha => true
| AMD64 => true
| ARM => true
+ | ARM64 => true
| HPPA => true
| IA64 => true
| MIPS => true
diff -ru mlton-20130715.orig/runtime/platform/arm64.h mlton-20130715/runtime/platform/arm64.h
--- mlton-20130715.orig/runtime/platform/arm64.h
+++ mlton-20130715/runtime/platform/arm64.h
@@ -0,0 +1 @@
+#define MLton_Platform_Arch_host "arm64"
