mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-24 03:52:50 -06:00
Fixed use of -unlexer in EmbedAPI. Before, EmbedAPI.linearize ignored the flags in the grammar.
This commit is contained in:
@@ -15,7 +15,7 @@
|
|||||||
|
|
||||||
module GF.Embed.EmbedAPI where
|
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.Linear (linTree2string)
|
||||||
import GF.UseGrammar.GetTree (string2tree)
|
import GF.UseGrammar.GetTree (string2tree)
|
||||||
import GF.Embed.EmbedParsing (parseString)
|
import GF.Embed.EmbedParsing (parseString)
|
||||||
@@ -79,7 +79,7 @@ linearize mgr lang =
|
|||||||
where
|
where
|
||||||
gr = grammar sgr
|
gr = grammar sgr
|
||||||
sgr = stateGrammarOfLang mgr (zIdent lang)
|
sgr = stateGrammarOfLang mgr (zIdent lang)
|
||||||
untok = customOrDefault noOptions useUntokenizer customUntokenizer sgr
|
untok = customOrDefault (stateOptions sgr) useUntokenizer customUntokenizer sgr
|
||||||
|
|
||||||
parse mgr lang cat =
|
parse mgr lang cat =
|
||||||
map tree2exp .
|
map tree2exp .
|
||||||
|
|||||||
Reference in New Issue
Block a user