diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-04-21 16:20:02 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-04-21 16:20:02 +0000 |
| commit | 94d4ec728c442b7b10d28a969cac8d6b271de580 (patch) | |
| tree | 2b263023e67b4dc3f3eab8c460e1086e4dfbfa95 /src/GF/Embed/EmbedAPI.hs | |
| parent | fcbc004aa664c862d9de944eeb4da7ded68bf0c0 (diff) | |
Fixed use of -unlexer in EmbedAPI. Before, EmbedAPI.linearize ignored the flags in the grammar.
Diffstat (limited to 'src/GF/Embed/EmbedAPI.hs')
| -rw-r--r-- | src/GF/Embed/EmbedAPI.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Embed/EmbedAPI.hs b/src/GF/Embed/EmbedAPI.hs index 7a521d1cf..a3a130a36 100644 --- a/src/GF/Embed/EmbedAPI.hs +++ b/src/GF/Embed/EmbedAPI.hs @@ -15,7 +15,7 @@ module GF.Embed.EmbedAPI where -import GF.Compile.ShellState (ShellState,grammar2shellState,canModules,stateGrammarOfLang,abstract,grammar,firstStateGrammar,allLanguages,allCategories) +import GF.Compile.ShellState (ShellState,grammar2shellState,canModules,stateGrammarOfLang,abstract,grammar,firstStateGrammar,allLanguages,allCategories,stateOptions) import GF.UseGrammar.Linear (linTree2string) import GF.UseGrammar.GetTree (string2tree) import GF.Embed.EmbedParsing (parseString) @@ -79,7 +79,7 @@ linearize mgr lang = where gr = grammar sgr sgr = stateGrammarOfLang mgr (zIdent lang) - untok = customOrDefault noOptions useUntokenizer customUntokenizer sgr + untok = customOrDefault (stateOptions sgr) useUntokenizer customUntokenizer sgr parse mgr lang cat = map tree2exp . |