From f5fd3aa603bf736e47a6fdc6d9bf719ecef9d628 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 5 Jun 2008 11:26:48 +0000 Subject: [PATCH] in initState report the error strictly. This allows to catch it easily --- src-3.0/PGF.hs | 8 ++++---- 1 file 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)