[MLton-commit] r4476

[Stephen Weeks]

Added __attribute__ ((noreturn)) for spawn functions.  I didn't know
how to syntactically do that without duplicating the prototype.  If
anyone does, please fix it.


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

U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawne.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawnp.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawne.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawne.c	2006-05-07 02:11:27 UTC (rev 4475)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawne.c	2006-05-07 17:06:17 UTC (rev 4476)
@@ -28,9 +28,15 @@
   return res;
 }
 #else
+
 C_Errno_t(C_Int_t) MLton_Process_spawne (__attribute__ ((unused)) NullString8_t p, 
                                          __attribute__ ((unused)) NullString8Array_t a, 
+                                         __attribute__ ((unused)) NullString8Array_t e) __attribute__ ((noreturn));
+
+C_Errno_t(C_Int_t) MLton_Process_spawne (__attribute__ ((unused)) NullString8_t p, 
+                                         __attribute__ ((unused)) NullString8Array_t a, 
                                          __attribute__ ((unused)) NullString8Array_t e) {
   die ("MLton_Process_spawne not implemented");
 }
+
 #endif

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawnp.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawnp.c	2006-05-07 02:11:27 UTC (rev 4475)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/MLton/Process/spawnp.c	2006-05-07 17:06:17 UTC (rev 4476)
@@ -20,6 +20,9 @@
 }
 #else
 C_Errno_t(C_Int_t) MLton_Process_spawnp (__attribute__ ((unused)) NullString8_t p, 
+                                         __attribute__ ((unused)) NullString8Array_t a) __attribute__ ((noreturn));
+
+C_Errno_t(C_Int_t) MLton_Process_spawnp (__attribute__ ((unused)) NullString8_t p, 
                                          __attribute__ ((unused)) NullString8Array_t a) {
   die ("MLton_Process_spawnp not implemented");
 }