From ba2c0a7b02832dd289e2c0405b22a50631c3a9e8 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 18 Mar 2009 12:49:46 +0000 Subject: flag -env=quotes (and possible other flags) to restrict ps --- src/GF/Command/Abstract.hs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/GF/Command/Abstract.hs') diff --git a/src/GF/Command/Abstract.hs b/src/GF/Command/Abstract.hs index cf82e96c6..dff404194 100644 --- a/src/GF/Command/Abstract.hs +++ b/src/GF/Command/Abstract.hs @@ -56,6 +56,12 @@ isOpt o opts = elem o [x | OOpt x <- opts] isFlag :: String -> [Option] -> Bool isFlag o opts = elem o [x | OFlag x _ <- opts] +optsAndFlags :: [Option] -> ([Option],[Option]) +optsAndFlags = foldr add ([],[]) where + add o (os,fs) = case o of + OOpt _ -> (o:os,fs) + OFlag _ _ -> (os,o:fs) + prOpt :: Option -> String prOpt o = case o of OOpt i -> i -- cgit v1.2.3