wired up global options
Note that I ran into a problem where parsing the global options looped forever, eating memory. It was somehow caused by stacking combineGlobalSetters inside a combineGlobalSetters. Maybe due to both using "many"? Anyway, changed things to avoid that.
This commit is contained in:
parent
adb9fddfdd
commit
b66a2d6c5b
5 changed files with 25 additions and 24 deletions
|
@ -46,6 +46,6 @@ globalFlag setter = flag' (DeferredParse setter)
|
|||
globalSetter :: (v -> Annex ()) -> Parser v -> Parser GlobalSetter
|
||||
globalSetter setter parser = DeferredParse . setter <$> parser
|
||||
|
||||
globalSetters :: [Parser GlobalSetter] -> Parser GlobalSetter
|
||||
globalSetters l = DeferredParse . sequence_ . map getParsed
|
||||
combineGlobalSetters :: [Parser GlobalSetter] -> Parser GlobalSetter
|
||||
combineGlobalSetters l = DeferredParse . sequence_ . map getParsed
|
||||
<$> many (foldl1 (<|>) l)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue