diff options
| author | krasimir <krasimir@chalmers.se> | 2008-06-08 10:35:19 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-06-08 10:35:19 +0000 |
| commit | aa5cff205de270ef98d8848816cdf66ba8a4deee (patch) | |
| tree | e99b1e31a0df9de92647f9519e33d794b1b5051f /src-3.0/GFI.hs | |
| parent | ec200fdf0b021d109edbf7f077d93e44156a31a3 (diff) | |
force the interpreter to flush the output. usefull for the testsuite
Diffstat (limited to 'src-3.0/GFI.hs')
| -rw-r--r-- | src-3.0/GFI.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src-3.0/GFI.hs b/src-3.0/GFI.hs index 0a8751c58..37abb3cd6 100644 --- a/src-3.0/GFI.hs +++ b/src-3.0/GFI.hs @@ -41,7 +41,7 @@ loop opts gfenv0 = do s <- fetchCommand (prompt env) let gfenv = gfenv0 {history = s : history gfenv0} let loopNewCPU gfenv' = do cpu' <- getCPUTime - putStrLn (show ((cpu' - cputime gfenv') `div` 1000000000) ++ " msec") + putStrLnFlush (show ((cpu' - cputime gfenv') `div` 1000000000) ++ " msec") loop opts $ gfenv' {cputime = cpu'} case words s of -- special commands, requiring source grammar in env @@ -78,7 +78,7 @@ importInEnv gfenv opts files do let opts' = addOptions (setOptimization OptCSE False) opts pgf0 = multigrammar (commandenv gfenv) pgf1 <- importGrammar pgf0 opts' files - putStrLn $ unwords $ "\nLanguages:" : languages pgf1 + putStrLnFlush $ unwords $ "\nLanguages:" : languages pgf1 return $ gfenv { commandenv = mkCommandEnv pgf1 } welcome = unlines [ |