[MLton-commit] r5509

[Matthew Fluet]

Eliminate some debugging
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Date.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Time.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Date.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Date.c	2007-04-11 20:37:19 UTC (rev 5508)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Date.c	2007-04-11 20:37:45 UTC (rev 5509)
@@ -1,9 +1,5 @@
 #include "platform.h"
 
-#ifndef DEBUG
-#define DEBUG FALSE
-#endif
-
 static struct tm tm_in;
 static struct tm *tm_out;
 
@@ -29,9 +25,6 @@
 
 C_Errno_t(C_Int_t) Date_gmTime(Ref(C_Time_t) p) {
   tm_out = gmtime((time_t*)p);
-  if (DEBUG)
-    fprintf (stderr, FMTPTR" = Date_gmTime ("FMTPTR")\n", 
-             (uintptr_t)tm_out, (uintptr_t)p);
   if (tm_out == NULL) return -1;
   return 0;
 }
@@ -47,9 +40,6 @@
 
 C_Errno_t(C_Int_t) Date_localTime(Ref(C_Time_t) p) {
   tm_out = localtime((time_t*)p);
-  if (DEBUG)
-    fprintf (stderr, FMTPTR" = Date_localTime ("FMTPTR")\n", 
-             (uintptr_t)tm_out, (uintptr_t)p);
   if (tm_out == NULL) return -1;
   return 0;
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Time.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Time.c	2007-04-11 20:37:19 UTC (rev 5508)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/System/Time.c	2007-04-11 20:37:45 UTC (rev 5509)
@@ -1,16 +1,10 @@
 #include "platform.h"
 
-#ifndef DEBUG
-#define DEBUG FALSE
-#endif
-
 static struct timeval timeval;
 
 C_Int_t Time_getTimeOfDay (void) {
   int res;
   res = gettimeofday (&timeval, (struct timezone*)NULL);
-  if (DEBUG)
-    fprintf (stderr, "%d = Time_gettimeofday ()\n", res);
   return res;
 }