From a391c69fd3937cab699dbf18ec042c7eca93ac9a Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 16 Mar 2009 14:10:30 +0000 Subject: use new parser which supports the syntax in GF.Grammar.Grammar directly --- src/GF/Grammar/API.hs | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) (limited to 'src/GF/Grammar/API.hs') diff --git a/src/GF/Grammar/API.hs b/src/GF/Grammar/API.hs index 76508d963..f1d70e470 100644 --- a/src/GF/Grammar/API.hs +++ b/src/GF/Grammar/API.hs @@ -1,22 +1,19 @@ module GF.Grammar.API ( Grammar, emptyGrammar, - pTerm, - ppTerm, checkTerm, computeTerm, showTerm, TermPrintStyle(..), TermPrintQual(..), ) where -import GF.Source.ParGF -import GF.Source.SourceToGrammar (transExp) -import GF.Grammar.Grammar import GF.Infra.Ident import GF.Infra.Modules (greatestResource) import GF.Compile.GetGrammar import GF.Grammar.Macros +import GF.Grammar.Parser import GF.Grammar.Printer +import GF.Grammar.Grammar import GF.Compile.Rename (renameSourceTerm) import GF.Compile.CheckGrammar (justCheckLTerm) @@ -33,11 +30,6 @@ type Grammar = SourceGrammar emptyGrammar :: Grammar emptyGrammar = emptySourceGrammar -pTerm :: String -> Err Term -pTerm s = do - e <- pExp $ myLexer (BS.pack s) - transExp e - checkTerm :: Grammar -> Term -> Err Term checkTerm gr t = do mo <- maybe (Bad "no source grammar in scope") return $ greatestResource gr -- cgit v1.2.3