diff options
| author | aarne <unknown> | 2003-09-24 14:26:35 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-09-24 14:26:35 +0000 |
| commit | 6e9258558a9bcb8c9df4bee0382b5136c95f516a (patch) | |
| tree | 99475ee58ba264780403480ce29c9ee40beee1ec /src/GF/Infra | |
| parent | b1402e8bd6a68a891b00a214d6cf184d66defe19 (diff) | |
Improvements in hte editor.
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index e81c9cd82..59e9f352a 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -20,6 +20,10 @@ oArg s = s -- value of option argument oElem :: Option -> Options -> Bool oElem o (Opts os) = elem o os +eqOpt :: String -> Option -> Bool +eqOpt s (Opt (o, [])) = s == o +eqOpt s _ = False + type OptFun = String -> Option getOptVal :: Options -> OptFun -> Maybe String @@ -164,6 +168,7 @@ absView = iOpt "Abs" useTokenizer = aOpt "lexer" useUntokenizer = aOpt "unlexer" useParser = aOpt "parser" +withFun = aOpt "fun" firstCat = aOpt "cat" -- used on command line gStartCat = aOpt "startcat" -- used in grammar, to avoid clash w res word useLanguage = aOpt "lang" @@ -182,6 +187,13 @@ noDepTypes = aOpt "nodeptypes" extractGr = aOpt "extract" pathList = aOpt "path" +markLin = aOpt "mark" +markOptXML = oArg "xml" +markOptJava = oArg "java" +markOptStruct = oArg "struct" +markOptFocus = oArg "focus" + + -- refinement order nextRefine = aOpt "nextrefine" firstRefine = oArg "first" |