mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
in initState report the error strictly. This allows to catch it easily
This commit is contained in:
@@ -187,13 +187,13 @@ parseAll mgr cat = map snd . parseAllLang mgr cat
|
|||||||
parseAllLang mgr cat s =
|
parseAllLang mgr cat s =
|
||||||
[(lang,ts) | lang <- languages mgr, let ts = parse mgr lang cat s, not (null ts)]
|
[(lang,ts) | lang <- languages mgr, let ts = parse mgr lang cat s, not (null ts)]
|
||||||
|
|
||||||
initState pgf lang cat = Incremental.initState pinfo catCId
|
initState pgf lang cat =
|
||||||
|
case lookParser pgf langCId of
|
||||||
|
Just pinfo -> Incremental.initState pinfo catCId
|
||||||
|
_ -> error ("Unknown language: " ++ lang)
|
||||||
where
|
where
|
||||||
langCId = mkCId lang
|
langCId = mkCId lang
|
||||||
catCId = mkCId cat
|
catCId = mkCId cat
|
||||||
pinfo = case lookParser pgf langCId of
|
|
||||||
Just pinfo -> pinfo
|
|
||||||
_ -> error ("Unknown language: " ++ lang)
|
|
||||||
|
|
||||||
extractExps state cat = Incremental.extractExps state (mkCId cat)
|
extractExps state cat = Incremental.extractExps state (mkCId cat)
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user