From f08eb82f2beb069a0f9da2dbba4c6f09cf781e83 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 6 Dec 2007 12:54:15 +0000 Subject: restored work on Extend and Rename --- src/GF/Devel/Grammar/Lookup.hs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/GF/Devel/Grammar/Lookup.hs') diff --git a/src/GF/Devel/Grammar/Lookup.hs b/src/GF/Devel/Grammar/Lookup.hs index 1bd36184d..cb45b5406 100644 --- a/src/GF/Devel/Grammar/Lookup.hs +++ b/src/GF/Devel/Grammar/Lookup.hs @@ -61,12 +61,12 @@ lookupParamValues gf m c = do lookupModule :: GF -> Ident -> Err Module lookupModule gf m = do - maybe (raise "module not found") return $ mlookup m (gfmodules gf) + maybe (raiseIdent "module not found:" m) return $ mlookup m (gfmodules gf) lookupIdent :: GF -> Ident -> Ident -> Err JEntry lookupIdent gf m c = do mo <- lookupModule gf m - maybe (Bad "constant not found") return $ mlookup c (mjments mo) + maybe (raiseIdent "constant not found" c) return $ mlookup c (mjments mo) lookupJudgement :: GF -> Ident -> Ident -> Err Judgement lookupJudgement gf m c = do @@ -75,3 +75,6 @@ lookupJudgement gf m c = do mlookup = Data.Map.lookup +raiseIdent msg i = raise (msg +++ prIdent i) + + -- cgit v1.2.3