From 9eb32352c460f184f73fc13b8d92a0a77d7f5155 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 10 Nov 2003 10:02:26 +0000 Subject: Fixed local flags. --- src/GF/API.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/API.hs') 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 -- cgit v1.2.3