diff options
Diffstat (limited to 'src-3.0/GFI.hs')
| -rw-r--r-- | src-3.0/GFI.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src-3.0/GFI.hs b/src-3.0/GFI.hs index e5352c30c..e956d5c18 100644 --- a/src-3.0/GFI.hs +++ b/src-3.0/GFI.hs @@ -45,7 +45,11 @@ loop opts gfenv0 = do cpu' <- getCPUTime putStrLnFlush (show ((cpu' - cputime gfenv') `div` 1000000000) ++ " msec") loop opts $ gfenv' {cputime = cpu'} - case words s of + let + pwords = case words s of + w:ws -> getCommandOp w :ws + ws -> ws + case pwords of -- special commands, requiring source grammar in env "!":ws -> do system $ unwords ws |