From 115b4213d515ce308568fd71e362f6ce2881fb50 Mon Sep 17 00:00:00 2001 From: krasimir Date: Fri, 12 Nov 2010 19:37:19 +0000 Subject: operations in the abstract syntax --- src/compiler/GF/Grammar/Lookup.hs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/compiler/GF/Grammar/Lookup.hs') diff --git a/src/compiler/GF/Grammar/Lookup.hs b/src/compiler/GF/Grammar/Lookup.hs index d1473bbcd..80dabef1b 100644 --- a/src/compiler/GF/Grammar/Lookup.hs +++ b/src/compiler/GF/Grammar/Lookup.hs @@ -156,9 +156,9 @@ lookupAbsDef gr m c = errIn (render (text "looking up absdef of" <+> ppIdent c)) mo <- lookupModule gr m info <- lookupIdentInfo mo c case info of - AbsFun _ a d -> return (a,fmap (map unLoc) d) - AnyInd _ n -> lookupAbsDef gr n c - _ -> return (Nothing,Nothing) + AbsFun _ a d _ -> return (a,fmap (map unLoc) d) + AnyInd _ n -> lookupAbsDef gr n c + _ -> return (Nothing,Nothing) lookupLincat :: SourceGrammar -> Ident -> Ident -> Err Type lookupLincat gr m c | isPredefCat c = return defLinType --- ad hoc; not needed? @@ -176,9 +176,9 @@ lookupFunType gr m c = do mo <- lookupModule gr m info <- lookupIdentInfo mo c case info of - AbsFun (Just (L _ t)) _ _ -> return t - AnyInd _ n -> lookupFunType gr n c - _ -> Bad (render (text "cannot find type of" <+> ppIdent c)) + AbsFun (Just (L _ t)) _ _ _ -> return t + AnyInd _ n -> lookupFunType gr n c + _ -> Bad (render (text "cannot find type of" <+> ppIdent c)) -- | this is needed at compile time lookupCatContext :: SourceGrammar -> Ident -> Ident -> Err Context -- cgit v1.2.3