[MLton-commit] r4183

Matthew Fluet MLton@mlton.org
Tue, 8 Nov 2005 18:42:01 -0800


Format diagnostic message
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.c	2005-11-09 02:10:07 UTC (rev 4182)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.c	2005-11-09 02:41:58 UTC (rev 4183)
@@ -9,7 +9,7 @@
 void displayGCState (GC_state s, FILE *stream) {
   fprintf (stream,
            "GC state\n");
-  fprintf (stream, "\tcurrentThread"FMTOBJPTR"\n", s->currentThread);
+  fprintf (stream, "\tcurrentThread = "FMTOBJPTR"\n", s->currentThread);
   displayThread (s, (GC_thread)(objptrToPointer (s->currentThread, s->heap.start)), 
                  stream);
   fprintf (stream, "\tgenerational\n");

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2005-11-09 02:10:07 UTC (rev 4182)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2005-11-09 02:41:58 UTC (rev 4183)
@@ -27,7 +27,7 @@
               s->heap.oldGenSize);
   createCardMapAndCrossMap (s); 
   read_safe (fd, s->heap.start, s->heap.oldGenSize);
-  (*s->loadGlobals) (fd);
+  (*(s->loadGlobals)) (fd);
   // unless (EOF == fgetc (file))
   //  die ("Invalid world: junk at end of file.");
   /* translateHeap must occur after loading the heap and globals,
@@ -72,7 +72,7 @@
   writeObjptr (fd, s->currentThread);
   writeObjptr (fd, s->signalHandlerThread);
   write_safe (fd, s->heap.start, s->heap.oldGenSize);
-  (*s->saveGlobals) (fd);
+  (*(s->saveGlobals)) (fd);
 }
 
 void GC_saveWorld (GC_state s, int fd) {