diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-31 22:08:12 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-31 22:08:12 +0000 |
| commit | db9a1acaebb18599bb5fbd933ff4b13bccb8c4db (patch) | |
| tree | 02ee7147c8a706dd036e6cea642c105bd7665826 /src/GF/Grammar/PrGrammar.hs | |
| parent | 5e3a1f73927c8849ac1f8e91519f436f385e9e86 (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.hs | 16 |
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)] |
