diff options
| author | aarne <unknown> | 2003-10-02 06:37:34 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-02 06:37:34 +0000 |
| commit | be81ac50a9ecf2b6457d4594a4b67972a1b0dd75 (patch) | |
| tree | b836ea7c29efe975bb4bbc86a855784b632aec15 /src/GF/Grammar/LookAbs.hs | |
| parent | c985dab565416251d9973f5b3bafe4d9d205b249 (diff) | |
Added dir for parsing.
Diffstat (limited to 'src/GF/Grammar/LookAbs.hs')
| -rw-r--r-- | src/GF/Grammar/LookAbs.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Grammar/LookAbs.hs b/src/GF/Grammar/LookAbs.hs index 66d6e4ca3..04b6286e9 100644 --- a/src/GF/Grammar/LookAbs.hs +++ b/src/GF/Grammar/LookAbs.hs @@ -13,7 +13,7 @@ import Monad type GFCGrammar = C.CanonGrammar lookupAbsDef :: GFCGrammar -> Ident -> Ident -> Err (Maybe Term) -lookupAbsDef gr m c = do +lookupAbsDef gr m c = errIn ("looking up absdef of" +++ prt c) $ do mi <- lookupModule gr m case mi of ModMod mo -> do @@ -25,7 +25,7 @@ lookupAbsDef gr m c = do _ -> Bad $ prt m +++ "is not an abstract module" lookupFunType :: GFCGrammar -> Ident -> Ident -> Err Type -lookupFunType gr m c = do +lookupFunType gr m c = errIn ("looking up funtype of" +++ prt c) $ do mi <- lookupModule gr m case mi of ModMod mo -> do @@ -37,7 +37,7 @@ lookupFunType gr m c = do _ -> Bad $ prt m +++ "is not an abstract module" lookupCatContext :: GFCGrammar -> Ident -> Ident -> Err Context -lookupCatContext gr m c = do +lookupCatContext gr m c = errIn ("looking up context of cat" +++ prt c) $ do mi <- lookupModule gr m case mi of ModMod mo -> do |
