GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

removed repeated CPU time printing in GFI

Browse Source
This commit is contained in:
aarne
2008-08-23 15:35:39 +00:00
parent 3d22963267
commit ed06f631e9
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/GFI.hs
View File

@@ -39,6 +39,11 @@ mainGFI opts files = do
loop opts gfenv
return ()
loopNewCPU gfenv' = do
cpu' <- getCPUTime
putStrLnFlush (show ((cpu' - cputime gfenv') `div` 1000000000) ++ " msec")
return $ gfenv' {cputime = cpu'}
loop :: Options -> GFEnv -> IO GFEnv
loop opts gfenv0 = do
let env = commandenv gfenv0
@@ -46,10 +51,6 @@ loop opts gfenv0 = do
setCompletionFunction (Just (wordCompletion gfenv0))
s0 <- fetchCommand (prompt env)
let gfenv = gfenv0 {history = s0 : history gfenv0}
let loopNewCPU gfenv' = do
cpu' <- getCPUTime
putStrLnFlush (show ((cpu' - cputime gfenv') `div` 1000000000) ++ " msec")
return $ gfenv' {cputime = cpu'}
let
enc = encode gfenv
s = decode gfenv s0
@@ -119,8 +120,7 @@ loop opts gfenv0 = do
interpretCommandLine enc env s
loopNewCPU gfenv
gfenv' <- return $ either (const gfenv) id r
e <- loopNewCPU gfenv'
loop opts e
loop opts gfenv'
importInEnv :: GFEnv -> Options -> [FilePath] -> IO GFEnv
importInEnv gfenv opts files