readfiles
This commit is contained in:
1 parent
f07087647e
commit
3522b2a3cd
5 files changed
+22
-11
No files matched your search
@@ -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"
|
||||
|
||||
Reference in new issue
Block a user