summaryrefslogtreecommitdiff
path: root/src/GF/Grammar/PrGrammar.hs
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-01-31 22:08:12 +0000
committerkrasimir <krasimir@chalmers.se>2009-01-31 22:08:12 +0000
commitdb9a1acaebb18599bb5fbd933ff4b13bccb8c4db (patch)
tree02ee7147c8a706dd036e6cea642c105bd7665826 /src/GF/Grammar/PrGrammar.hs
parent5e3a1f73927c8849ac1f8e91519f436f385e9e86 (diff)
merge Lookup and LookAbs and move some lookup functions from PrGrammar to Lookup
Diffstat (limited to 'src/GF/Grammar/PrGrammar.hs')
-rw-r--r--src/GF/Grammar/PrGrammar.hs16
1 files changed, 0 insertions, 16 deletions
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)]