GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

GF.Infra.Options: change from String to Int in the type of optJobs

Browse Source
This commit is contained in:
hallgren
2014-10-08 16:57:04 +00:00
parent 23642fbb90
commit d0441cf847
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/compiler/GF/Infra/Option.hs
View File

@@ -173,7 +173,7 @@ data Flags = Flags {
optHeuristicFactor :: Maybe Double,
optMetaProb :: Maybe Double,
optMetaToknProb :: Maybe Double,
optJobs :: Maybe (Maybe String)
optJobs :: Maybe (Maybe Int)
}
deriving (Show)
@@ -389,7 +389,13 @@ optDescr =
ms = mode . ModeServer
readPort p = maybe err ms (readMaybe p)
where err = fail $ "Bad server port: "++p
jobs mv = set $ \ o -> o { optJobs = Just mv }
jobs = maybe (setjobs Nothing) number
where
number s = maybe err (setjobs . Just) (readMaybe s)
where err = fail $ "Bad number of jobs: " ++ s
setjobs j = set $ \ o -> o { optJobs = Just j }
verbosity mv = case mv of
Nothing -> set $ \o -> o { optVerbosity = Verbose }
Just v -> case readMaybe v >>= toEnumBounded of