diff --git a/Libraries/Gast/CommandLine.icl b/Libraries/Gast/CommandLine.icl index ce520cb7cf75b0df69d4a4b86e473bc7ac9e96f3..2f7e4673426e3da619458a662c9f1486706aed22 100644 --- a/Libraries/Gast/CommandLine.icl +++ b/Libraries/Gast/CommandLine.icl @@ -16,6 +16,7 @@ import Data.List import Data.Tuple import System.CommandLine import System.Options +import System.File import Testing.Options import Text @@ -85,7 +86,7 @@ where where stream :: !PrintConfig ![GastEvent] !*File !*World -> *(!*File, !*World) stream pc [ge:ges] io w - # io = foldl (<<<) io $ printEvents pc [ge] + # io = foldl (\io ev -> snd $ fflush $ io <<< ev) io $ printEvents pc [ge] # w = case ge of GE_TestFinished _ {resultType=CounterExpls _ _ _} _ _ -> setReturnCode 1 w GE_TestFinished _ {resultType=Undefined _} _ _ -> setReturnCode 1 w