"ppc64" is not detected as powerpc64

[agoode]

patch:

--- mlton-20100608~/bin/platform        2010-06-11 13:35:30.000000000 +0000
+++ mlton-20100608/bin/platform 2013-04-18 02:37:26.666395665 +0000
@@ -112,6 +112,9 @@
 powerpc64)
        HOST_ARCH=powerpc64
 ;;
+ppc64)
+        HOST_ARCH=powerpc64
+;;
 powerpc)
         HOST_ARCH=powerpc
 ;;

[MatthewFluet]

Would it be sensible to also change the subsequent:

ppc*)
        HOST_ARCH=powerpc
;;

to

ppc)
        HOST_ARCH=powerpc
;;

Or would a 32-bit powerpc be ppc32?

[agoode]

I think ppc) is fine. I don't know of any other cases for 32-bit.