From 7c097669d2c3934622c57f6e2f4ddee8826953d3 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 17 Jun 2008 12:34:02 +0000 Subject: fixed command abbreviations in GFI --- src-3.0/GFI.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src-3.0/GFI.hs') 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 -- cgit v1.2.3