From 2e0c510285ac1cabefea0ab68ffb1215d7297578 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 19 Apr 2004 15:33:45 +0000 Subject: some more printing --- src/GF/Shell.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/GF/Shell.hs') diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index 4c2a067a4..a14461928 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -210,9 +210,7 @@ execC co@(comm, opts0) sa@((st,(h,_)),a) = case comm of | oElem showAll opts -> returnArg (AString txtHelpFile) sa | otherwise -> returnArg (AString txtHelpFileSummary) sa - CPrintGrammar - | oElem showOld opts -> returnArg (AString $ printGrammarOld (canModules st)) sa - | otherwise -> returnArg (AString (optPrintGrammar opts gro)) sa + CPrintGrammar -> returnArg (AString (optPrintGrammar opts gro)) sa CPrintGlobalOptions -> justOutput (putStrLn $ prShellStateInfo st) sa CPrintInformation c -> justOutput (useIOE () $ showInformation opts st c) sa CPrintLanguages -> justOutput -- cgit v1.2.3