From b7890313963071961bdf4ac45f69a42da8977d95 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 28 Feb 2007 10:37:37 +0000 Subject: [PATCH] parsing method in EmbedAPI --- src/GF/Embed/EmbedAPI.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/GF/Embed/EmbedAPI.hs b/src/GF/Embed/EmbedAPI.hs index 0058d77c5..7a521d1cf 100644 --- a/src/GF/Embed/EmbedAPI.hs +++ b/src/GF/Embed/EmbedAPI.hs @@ -31,7 +31,7 @@ import GF.Infra.Modules (emptyMGrammar) import GF.CF.CFIdent (string2CFCat) import GF.Infra.UseIO import GF.Data.Operations -import GF.Infra.Option (noOptions,useUntokenizer) +import GF.Infra.Option (noOptions,useUntokenizer,options,iOpt) import GF.Infra.Ident (prIdent) import GF.Embed.EmbedCustom @@ -68,7 +68,8 @@ categories :: MultiGrammar -> [Category] file2grammar file = do can <- useIOE (error "cannot parse grammar file") $ getCanonGrammar file - return $ errVal (error "cannot build multigrammar") $ grammar2shellState noOptions (can,emptyMGrammar) + return $ errVal (error "cannot build multigrammar") $ + grammar2shellState (options [iOpt "docf"]) (can,emptyMGrammar) linearize mgr lang = untok .