summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Infra
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2015-02-20 13:26:12 +0000
committerkrasimir <krasimir@chalmers.se>2015-02-20 13:26:12 +0000
commitf848857519bfb093310503108ff62297ea9f8a24 (patch)
tree7680fe7178f9d09a52d51adb0e576ba7d727a033 /src/compiler/GF/Infra
parent8fae1049572841aca6541e633dc6ba8fa0fdcc18 (diff)
added option -plus-as-bind which treats (+) as a bind when used with runtime variables
Diffstat (limited to 'src/compiler/GF/Infra')
-rw-r--r--src/compiler/GF/Infra/Option.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs
index 885571276..6070e9a38 100644
--- a/src/compiler/GF/Infra/Option.hs
+++ b/src/compiler/GF/Infra/Option.hs
@@ -173,6 +173,7 @@ data Flags = Flags {
optDump :: [Dump],
optTagsOnly :: Bool,
optHeuristicFactor :: Maybe Double,
+ optPlusAsBind :: Bool,
optJobs :: Maybe (Maybe Int)
}
deriving (Show)
@@ -281,6 +282,7 @@ defaultFlags = Flags {
optDump = [],
optTagsOnly = False,
optHeuristicFactor = Nothing,
+ optPlusAsBind = False,
optJobs = Nothing
}
@@ -363,6 +365,7 @@ optDescr =
Option [] ["cse"] (onOff (toggleOptimize OptCSE) True) "Perform common sub-expression elimination (default on).",
Option [] ["cfg"] (ReqArg cfgTransform "TRANS") "Enable or disable specific CFG transformations. TRANS = merge, no-merge, bottomup, no-bottomup, ...",
Option [] ["heuristic_search_factor"] (ReqArg (readDouble (\d o -> o { optHeuristicFactor = Just d })) "FACTOR") "Set the heuristic search factor for statistical parsing",
+ Option [] ["plus-as-bind"] (NoArg (set $ \o -> o{optPlusAsBind=True})) "Uses of (+) with runtime variables automatically generate BIND (experimental feature).",
dumpOption "source" Source,
dumpOption "rebuild" Rebuild,
dumpOption "extend" Extend,