[MLton-commit] r6760

[Matthew Fluet]

Rename C function to match primitive name.
----------------------------------------------------------------------

U   mlton/trunk/mlton/backend/ssa-to-rssa.fun
U   mlton/trunk/runtime/platform.c
U   mlton/trunk/runtime/platform.h

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

Modified: mlton/trunk/mlton/backend/ssa-to-rssa.fun
===================================================================
--- mlton/trunk/mlton/backend/ssa-to-rssa.fun	2008-08-19 22:15:33 UTC (rev 6759)
+++ mlton/trunk/mlton/backend/ssa-to-rssa.fun	2008-08-19 22:15:40 UTC (rev 6760)
@@ -1,4 +1,4 @@
-(* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
+(* Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -88,7 +88,7 @@
             target = Direct "GC_copyThread",
             writesStackTop = true}
 
-      val exit = fn () =>
+      val halt = fn () =>
          T {args = Vector.new2 (Type.gcState (), Type.cint ()),
             bytesNeeded = NONE,
             convention = Cdecl,
@@ -100,7 +100,7 @@
             readsStackTop = true,
             return = Type.unit,
             symbolScope = Internal,
-            target = Direct "MLton_exit",
+            target = Direct "MLton_halt",
             writesStackTop = true}
 
       fun gcArrayAllocate {return} =
@@ -915,7 +915,7 @@
                             Transfer.CCall
                             {args = Vector.concat [Vector.new1 GCState,
                                                    vos args],
-                             func = CFunction.exit (),
+                             func = CFunction.halt (),
                              return = NONE})
                    | Thread_copyCurrent =>
                         let

Modified: mlton/trunk/runtime/platform.c
===================================================================
--- mlton/trunk/runtime/platform.c	2008-08-19 22:15:33 UTC (rev 6759)
+++ mlton/trunk/runtime/platform.c	2008-08-19 22:15:40 UTC (rev 6760)
@@ -1,4 +1,4 @@
-/* Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh
+/* Copyright (C) 2004-2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  *
  * MLton is released under a BSD-style license.
@@ -25,7 +25,7 @@
   CommandLine_argv = (C_StringArray_t)(argv + start);
 }
 
-void MLton_exit (GC_state s, C_Int_t status) {
+void MLton_halt (GC_state s, C_Int_t status) {
   GC_done (s);
   exit (status);
 }

Modified: mlton/trunk/runtime/platform.h
===================================================================
--- mlton/trunk/runtime/platform.h	2008-08-19 22:15:33 UTC (rev 6759)
+++ mlton/trunk/runtime/platform.h	2008-08-19 22:15:40 UTC (rev 6760)
@@ -1,4 +1,4 @@
-/* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
+/* Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -141,7 +141,7 @@
 /* ---------------------------------------------------------------- */
 
 INTERNAL void MLton_init (int argc, char **argv, GC_state s);
-INTERNAL __attribute__ ((noreturn)) void MLton_exit (GC_state s, C_Int_t status);
+INTERNAL __attribute__ ((noreturn)) void MLton_halt (GC_state s, C_Int_t status);
 INTERNAL __attribute__ ((noreturn)) void MLton_allocTooLarge (void);
 
 /* ---------------------------------------------------------------- */