diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-14 12:16:02 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-14 12:16:02 +0000 |
| commit | 62ef772a2c996f2d7d17529eeee845be90586a78 (patch) | |
| tree | 3d415cb7c1a10a98172fa2c1192b9ac353f5935e /src/GF/Grammar/Lookup.hs | |
| parent | cc151c42790e02d60d6a0ab18c9c56da76f0ea51 (diff) | |
CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that was hiding the warnings
Diffstat (limited to 'src/GF/Grammar/Lookup.hs')
| -rw-r--r-- | src/GF/Grammar/Lookup.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |