Commit d78627b5 authored by Stefan Jaax's avatar Stefan Jaax
Browse files

Make --layered-termination and --strong-consensus default option

parent e8ba318e
...@@ -61,6 +61,9 @@ startOptions = Options { inputFormat = InPP ...@@ -61,6 +61,9 @@ startOptions = Options { inputFormat = InPP
, optPrintStructure = False , optPrintStructure = False
} }
defaultOptions :: Options
defaultOptions = startOptions{ optProperties = [LayeredTermination, StrongConsensus] }
options :: [ OptDescr (Options -> Either String Options) ] options :: [ OptDescr (Options -> Either String Options) ]
options = options =
[ Option "" ["layered-termination"] [ Option "" ["layered-termination"]
...@@ -152,6 +155,8 @@ parseArgs :: IO (Either String (Options, [String])) ...@@ -152,6 +155,8 @@ parseArgs :: IO (Either String (Options, [String]))
parseArgs = do parseArgs = do
args <- getArgs args <- getArgs
case getOpt Permute options args of case getOpt Permute options args of
([], files, []) ->
return $ (,files) <$> (return defaultOptions)
(actions, files, []) -> (actions, files, []) ->
return $ (,files) <$> foldl (>>=) (return startOptions) actions return $ (,files) <$> foldl (>>=) (return startOptions) actions
(_, _, errs) -> return $ Left $ concat errs (_, _, errs) -> return $ Left $ concat errs
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment