diff options
| author | hallgren <hallgren@chalmers.se> | 2014-10-08 16:57:04 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-10-08 16:57:04 +0000 |
| commit | 539f0880a33adf9a45d35a62a86f2d9115f7c9ec (patch) | |
| tree | f700e1341dfafcf52bd6e64cdd06146b58d30085 /src | |
| parent | 9c2f71b07a5de7d6d4d13dc3c72d9b9ddc2f37dc (diff) | |
GF.Infra.Options: change from String to Int in the type of optJobs
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Infra/Option.hs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 15feda1d0..8bcb52cc5 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -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 |