diff options
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 |