[MLton-commit] r4484

[Matthew Fluet]

Added ((noreturn)) attribute
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/linux.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/linux.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/linux.c	2006-05-08 00:54:20 UTC (rev 4483)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/linux.c	2006-05-08 02:01:49 UTC (rev 4484)
@@ -73,10 +73,12 @@
 /*                       Posix                       */
 /* ------------------------------------------------- */
 
+__attribute__ ((noreturn))
 void Posix_IO_setbin (__attribute__ ((unused)) C_Fd_t fd) {
         die("Posix_IO_setbin not implemented");
 }
 
+__attribute__ ((noreturn))
 void Posix_IO_settext (__attribute__ ((unused)) C_Fd_t fd) {
         die("Posix_IO_settext not implemented");
 }
@@ -85,6 +87,7 @@
 /*                      Process                      */
 /* ------------------------------------------------- */
 
+__attribute__ ((noreturn))
 C_Errno_t(C_PId_t) MLton_Process_cwait (__attribute__ ((unused)) C_PId_t pid, 
                                         __attribute__ ((unused)) Ref(C_Status_t) status) {
         die("MLton_Process_cwait not implemented");