From 9c81cf3d1023456f749876c78211136745bddf9b Mon Sep 17 00:00:00 2001 From: sof Date: Fri, 14 Mar 1997 03:14:53 +0000 Subject: [PATCH] [project @ 1997-03-14 03:14:25 by sof] Flush output stream --- ghc/runtime/hooks/ErrorHdr.lc | 2 ++ ghc/runtime/hooks/PatErrorHdr.lc | 2 ++ 2 files changed, 4 insertions(+) diff --git a/ghc/runtime/hooks/ErrorHdr.lc b/ghc/runtime/hooks/ErrorHdr.lc index d71a3a9..3c04fec 100644 --- 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 --- 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} -- 1.7.10.4