From db9a1acaebb18599bb5fbd933ff4b13bccb8c4db Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 31 Jan 2009 22:08:12 +0000 Subject: merge Lookup and LookAbs and move some lookup functions from PrGrammar to Lookup --- src/GF/Grammar/PrGrammar.hs | 16 ---------------- 1 file changed, 16 deletions(-) (limited to 'src/GF/Grammar/PrGrammar.hs') diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs index c4be21472..a4a9d9256 100644 --- a/src/GF/Grammar/PrGrammar.hs +++ b/src/GF/Grammar/PrGrammar.hs @@ -30,7 +30,6 @@ module GF.Grammar.PrGrammar (Print(..), prConstrs, prConstraints, -- prMetaSubst, prEnv, prMSubst, prExp, prOperSignature, - lookupIdent, lookupIdentInfo, lookupIdentInfoIn, prTermTabular ) where @@ -246,21 +245,6 @@ prRefinement t = case t of prOperSignature :: (QIdent,Type) -> String prOperSignature (f, t) = prQIdent f +++ ":" +++ prt t --- to look up a constant etc in a search tree --- why here? AR 29/5/2008 - -lookupIdent :: Ident -> BinTree Ident b -> Err b -lookupIdent c t = case lookupTree prt c t of - Ok v -> return v - _ -> prtBad "unknown identifier" c - -lookupIdentInfo :: ModInfo Ident a -> Ident -> Err a -lookupIdentInfo mo i = lookupIdent i (jments mo) - -lookupIdentInfoIn :: ModInfo Ident a -> Ident -> Ident -> Err a -lookupIdentInfoIn mo m i = - err (\s -> Bad (s +++ "in module" +++ prt m)) return $ lookupIdentInfo mo i - - --- printing cc command output AR 26/5/2008 prTermTabular :: Term -> [(String,String)] -- cgit v1.2.3