From 3522b2a3cd8d01ef1b908c1a717b0592332a5737 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 10 Jun 2004 14:34:07 +0000 Subject: readfiles --- src/GF/Shell/ShellCommands.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/Shell') diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index a0c40f3a6..650364d45 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -91,7 +91,7 @@ isValidOption st co op = case op of testValidFlag st o x _ -> Bad $ "impossible option" +++ prOpt op where - optsOf co = fst $ optionsOfCommand co + optsOf co = ("tr" :) $ fst $ optionsOfCommand co flagsOf co = snd $ optionsOfCommand co testValidFlag :: ShellState -> OptFunId -> String -> Err () @@ -134,7 +134,7 @@ optionsOfCommand co = case co of CTransformGrammar _ -> flags "printer" CConvertLatex _ -> none CLinearize _ -> both "table struct record" "lang number unlexer" - CParse -> both "n ign raw v" "cat lang lexer parser number" + CParse -> both "new n ign raw v" "cat lang lexer parser number" CTranslate _ _ -> opts "cat lexer parser" CGenerateRandom -> flags "cat lang number depth" CGenerateTrees -> both "metas" "depth alts cat lang number" -- cgit v1.2.3