diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-06-05 11:26:48 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-06-05 11:26:48 +0000 |
| commit | f5fd3aa603bf736e47a6fdc6d9bf719ecef9d628 (patch) | |
| tree | 08ebb1d003156b7ee38d6619c7d0cfa7749b7c17 /src-3.0 | |
| parent | 1068fbc7cfb5f5369bbc6aa24640ae12833a7b44 (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.hs | 8 |
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) |
