runghc: flush stdout/stderr on an exception (#3890)
authorSimon Marlow <marlowsd@gmail.com>
Wed, 5 May 2010 13:38:48 +0000 (13:38 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 5 May 2010 13:38:48 +0000 (13:38 +0000)
ghc/InteractiveUI.hs

index 05f61d1..e049831 100644 (file)
@@ -438,6 +438,8 @@ runGHCi paths maybe_exprs = do
             -- just evaluate the expression we were given
             enqueueCommands exprs
             let handle e = do st <- getGHCiState
+                              -- flush the interpreter's stdout/stderr on exit (#3890)
+                              flushInterpBuffers
                                    -- Jump through some hoops to get the
                                    -- current progname in the exception text:
                                    -- <progname>: <exception>