From 7a065580d231a5c181442a63ca04f016e4ca6b7c Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 14 Jun 2008 15:48:52 +0000 Subject: some more command options and documentation --- src-3.0/GF/Grammar/API.hs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'src-3.0/GF/Grammar/API.hs') diff --git a/src-3.0/GF/Grammar/API.hs b/src-3.0/GF/Grammar/API.hs index 6d14fbf3c..182b5e94e 100644 --- a/src-3.0/GF/Grammar/API.hs +++ b/src-3.0/GF/Grammar/API.hs @@ -6,7 +6,8 @@ module GF.Grammar.API ( checkTerm, computeTerm, showTerm, - TermPrintStyle(..) + TermPrintStyle(..), + pTermPrintStyle ) where import GF.Source.ParGF @@ -65,3 +66,10 @@ showTerm style t = data TermPrintStyle = TermPrintTable | TermPrintAll | TermPrintUnqual | TermPrintDefault deriving (Show,Eq) +pTermPrintStyle s = case s of + "table" -> TermPrintTable + "all" -> TermPrintAll + "unqual" -> TermPrintUnqual + _ -> TermPrintDefault + + -- cgit v1.2.3