From 1ca54cca208876f83014119da55e747d5342b434 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 28 Jan 2004 12:42:20 +0000 Subject: Unicode. Batch transl into HTML. --- src/GF/API.hs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/GF/API.hs') diff --git a/src/GF/API.hs b/src/GF/API.hs index 7053a1b67..7c708c933 100644 --- a/src/GF/API.hs +++ b/src/GF/API.hs @@ -304,3 +304,8 @@ optEncodeUTF8 gr = case getOptVal (stateOptions gr) uniCoding of Just "utf8" -> id _ -> encodeUTF8 +optDecodeUTF8 :: GFGrammar -> String -> String +optDecodeUTF8 gr = case getOptVal (stateOptions gr) uniCoding of + Just "utf8" -> decodeUTF8 + _ -> id + -- cgit v1.2.3