diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-06 12:54:15 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-06 12:54:15 +0000 |
| commit | f08eb82f2beb069a0f9da2dbba4c6f09cf781e83 (patch) | |
| tree | 0548f3e8195c1e872358085fd73b6e063b65e080 /src/GF/Devel/Grammar/Lookup.hs | |
| parent | 7d1b964a78fc6383cd009a282ac993063c81130e (diff) | |
restored work on Extend and Rename
Diffstat (limited to 'src/GF/Devel/Grammar/Lookup.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/Lookup.hs | 7 |
1 files changed, 5 insertions, 2 deletions
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) + + |