[project @ 1997-03-14 03:14:25 by sof]

Flush output stream

diff --git a/ghc/runtime/hooks/ErrorHdr.lc b/ghc/runtime/hooks/ErrorHdr.lc
index d71a3a9..3c04fec 100644 (file)
--- a/ghc/runtime/hooks/ErrorHdr.lc
+++ b/ghc/runtime/hooks/ErrorHdr.lc
@@ -4,6 +4,8 @@
 void
 ErrorHdrHook (FILE *where)
 {
+    fflush( stdout );                  /* Flush out any pending output */
+
     fprintf(where, "\nFail: ");
 }
 \end{code}

diff --git a/ghc/runtime/hooks/PatErrorHdr.lc b/ghc/runtime/hooks/PatErrorHdr.lc
index 5e175a4..2382049 100644 (file)
--- a/ghc/runtime/hooks/PatErrorHdr.lc
+++ b/ghc/runtime/hooks/PatErrorHdr.lc
@@ -4,6 +4,8 @@
 void
 PatErrorHdrHook (FILE *where)
 {
+    fflush( stdout );                  /* Flush out any pending output */
+
     fprintf(where, "\nFail: ");
 }
 \end{code}