diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-17 15:08:12 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-17 15:08:12 +0000 |
| commit | d8b049fdf840c9f8f383c7568882a5d2d11afecb (patch) | |
| tree | ecd1f2597f9a7dfd45e02bc659d37b340b6b171a /src/compiler/GF/Grammar/Lookup.hs | |
| parent | 183c87817394aad6adf6eb7e1bf3e297e1982e6f (diff) | |
rename GF.Grammar.Predef.isPredefCat to isLiteralCat
Diffstat (limited to 'src/compiler/GF/Grammar/Lookup.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/Lookup.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/GF/Grammar/Lookup.hs b/src/compiler/GF/Grammar/Lookup.hs index d1473bbcd..f942bdcaf 100644 --- a/src/compiler/GF/Grammar/Lookup.hs +++ b/src/compiler/GF/Grammar/Lookup.hs @@ -60,8 +60,8 @@ lookupIdentInfo mo i = lookupIdent i (jments mo) lookupResDef :: SourceGrammar -> QIdent -> Err Term lookupResDef gr (m,c) - | isPredefCat c = lock c defLinType - | otherwise = look m c + | isLiteralCat c = lock c defLinType + | otherwise = look m c where look m c = do mo <- lookupModule gr m @@ -161,7 +161,7 @@ lookupAbsDef gr m c = errIn (render (text "looking up absdef of" <+> ppIdent c)) _ -> return (Nothing,Nothing) lookupLincat :: SourceGrammar -> Ident -> Ident -> Err Type -lookupLincat gr m c | isPredefCat c = return defLinType --- ad hoc; not needed? +lookupLincat gr m c | isLiteralCat c = return defLinType --- ad hoc; not needed? lookupLincat gr m c = do mo <- lookupModule gr m info <- lookupIdentInfo mo c |