diff options
| author | aarne <unknown> | 2005-10-30 22:44:00 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-30 22:44:00 +0000 |
| commit | f9293c6b29696db51b6bab7b5171b74bd6da084b (patch) | |
| tree | 6319da9c57ebf79ade657289b6bcb47d1a8a0fa1 /src/GF/Infra/Option.hs | |
| parent | 815dda6b4bfd573f9091d7a667a67076602fb205 (diff) | |
probabilistic
Diffstat (limited to 'src/GF/Infra/Option.hs')
| -rw-r--r-- | src/GF/Infra/Option.hs | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 6fb9f9f2e..bf364ba50 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/10/06 10:02:33 $ +-- > CVS $Date: 2005/10/30 23:44:00 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.32 $ +-- > CVS $Revision: 1.33 $ -- -- Options and flags used in GF shell commands and files. -- @@ -62,6 +62,12 @@ getOptVal (Opts os) fopt = a:_ -> Just a _ -> Nothing +isSetFlag :: Options -> OptFun -> Bool +isSetFlag (Opts os) fopt = + case [a | opt@(Opt (o,[a])) <- os, opt == fopt a] of + a:_ -> True + _ -> False + getOptInt :: Options -> OptFun -> Maybe Int getOptInt opts f = do s <- getOptVal opts f @@ -304,6 +310,7 @@ noDepTypes = aOpt "nodeptypes" extractGr = aOpt "extract" pathList = aOpt "path" uniCoding = aOpt "coding" +probFile = aOpt "probs" -- peb 16/3-05: gfcConversion :: String -> Option |