diff options
| author | aarne <unknown> | 2003-11-10 10:02:26 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 10:02:26 +0000 |
| commit | 9eb32352c460f184f73fc13b8d92a0a77d7f5155 (patch) | |
| tree | e6ca352fc86cbe51c71db74c16d1427e696544b3 /src/GF/API.hs | |
| parent | 86662714a00f2ac08e6129c8bdac235f3e1efb2e (diff) | |
Fixed local flags.
Diffstat (limited to 'src/GF/API.hs')
| -rw-r--r-- | src/GF/API.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/API.hs b/src/GF/API.hs index 927c9683c..dfaf3bd27 100644 --- a/src/GF/API.hs +++ b/src/GF/API.hs @@ -162,10 +162,11 @@ optLinearizeTreeVal :: Options -> GFGrammar -> Tree -> String optLinearizeTreeVal opts gr = err id id . optLinearizeTree opts gr optLinearizeTree :: Options -> GFGrammar -> Tree -> Err String -optLinearizeTree opts gr t = case getOptVal opts transferFun of +optLinearizeTree opts0 gr t = case getOptVal opts transferFun of Just m -> useByTransfer flin g (I.identC m) t _ -> flin t where + opts = addOptions (stateOptions gr) opts0 flin = case getOptVal opts markLin of Just mk | mk == markOptXML -> lin markXML |
