[MLton-commit] r4764

[Matthew Fluet]

Move MLton_allocToLarge to platform.c, to be consistent with platform.h grouping
----------------------------------------------------------------------

D   mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform.c

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

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c	2006-10-24 17:03:24 UTC (rev 4763)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/allocTooLarge.c	2006-10-24 19:25:50 UTC (rev 4764)
@@ -1,6 +0,0 @@
-#include "platform.h"
-
-void MLton_allocTooLarge (void) {
-        fprintf (stderr, "Out of memory: attempt to allocate more than %d bytes.\n", 0x7FFFFFFF);
-        exit (2);
-}

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform.c	2006-10-24 17:03:24 UTC (rev 4763)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform.c	2006-10-24 19:25:50 UTC (rev 4764)
@@ -29,3 +29,9 @@
   GC_done (s);
   exit (status);
 }
+
+void MLton_allocTooLarge (void) {
+  fprintf (stderr, "Out of memory: attempt to allocate more than %zu bytes.\n", 
+           (size_t)0x7FFFFFFF);
+  exit (2);
+}