diff options
Diffstat (limited to 'src/GF/Infra')
| -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 |