mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-04 16:52:50 -06:00
flag -env=quotes (and possible other flags) to restrict ps
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user