From 62ef772a2c996f2d7d17529eeee845be90586a78 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 14 Sep 2009 12:16:02 +0000 Subject: CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that was hiding the warnings --- src/GF/Grammar/Lookup.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/GF/Grammar/Lookup.hs') diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs index b136eee83..f6cf60873 100644 --- a/src/GF/Grammar/Lookup.hs +++ b/src/GF/Grammar/Lookup.hs @@ -54,16 +54,16 @@ unlock c = unlockRecord c -- return -- to look up a constant etc in a search tree --- why here? AR 29/5/2008 lookupIdent :: Ident -> BinTree Ident b -> Err b lookupIdent c t = - case lookupTree prIdent c t of + case lookupTree showIdent c t of Ok v -> return v - Bad _ -> Bad ("unknown identifier" +++ prIdent c) + Bad _ -> Bad ("unknown identifier" +++ showIdent c) lookupIdentInfo :: ModInfo Ident a -> Ident -> Err a lookupIdentInfo mo i = lookupIdent i (jments mo) lookupIdentInfoIn :: ModInfo Ident a -> Ident -> Ident -> Err a lookupIdentInfoIn mo m i = - err (\s -> Bad (s +++ "in module" +++ prIdent m)) return $ lookupIdentInfo mo i + err (\s -> Bad (s +++ "in module" +++ showIdent m)) return $ lookupIdentInfo mo i lookupResDef :: SourceGrammar -> Ident -> Ident -> Err Term lookupResDef gr m c = liftM fst $ lookupResDefKind gr m c -- cgit v1.2.3