summaryrefslogtreecommitdiff
path: root/src-3.0
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@chalmers.se>2008-06-05 11:26:48 +0000
committerkr.angelov <kr.angelov@chalmers.se>2008-06-05 11:26:48 +0000
commitf5fd3aa603bf736e47a6fdc6d9bf719ecef9d628 (patch)
tree08ebb1d003156b7ee38d6619c7d0cfa7749b7c17 /src-3.0
parent1068fbc7cfb5f5369bbc6aa24640ae12833a7b44 (diff)
in initState report the error strictly. This allows to catch it easily
Diffstat (limited to 'src-3.0')
-rw-r--r--src-3.0/PGF.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src-3.0/PGF.hs b/src-3.0/PGF.hs
index 855d10761..f60ba852e 100644
--- a/src-3.0/PGF.hs
+++ b/src-3.0/PGF.hs
@@ -187,13 +187,13 @@ parseAll mgr cat = map snd . parseAllLang mgr cat
parseAllLang mgr cat s =
[(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
langCId = mkCId lang
catCId = mkCId cat
- pinfo = case lookParser pgf langCId of
- Just pinfo -> pinfo
- _ -> error ("Unknown language: " ++ lang)
extractExps state cat = Incremental.extractExps state (mkCId cat)