From d0441cf847ddb76a0f348272a18ebc5c8a48ce68 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 8 Oct 2014 16:57:04 +0000 Subject: [PATCH] GF.Infra.Options: change from String to Int in the type of optJobs --- src/compiler/GF/Infra/Option.hs | 10 ++++++++-- 1 file 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