diff options
| author | krasimir <krasimir@chalmers.se> | 2009-03-16 14:10:30 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-03-16 14:10:30 +0000 |
| commit | a391c69fd3937cab699dbf18ec042c7eca93ac9a (patch) | |
| tree | 4c1ff08c286ed6d5fdb7b875430adf816e21d6b9 /src/GF/Grammar/API.hs | |
| parent | 5597cff5cb186616a0db14a2e579f7261f1a32a3 (diff) | |
use new parser which supports the syntax in GF.Grammar.Grammar directly
Diffstat (limited to 'src/GF/Grammar/API.hs')
| -rw-r--r-- | src/GF/Grammar/API.hs | 12 |
1 files changed, 2 insertions, 10 deletions
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 |
