From 2ee8ab8a714a1b2b4cf906583c04df1ee38b2cdc Mon Sep 17 00:00:00 2001 From: bjorn Date: Tue, 3 Jun 2008 19:20:18 +0000 Subject: Added options to support SRG printing. --- src-3.0/GF/Infra/Option.hs | 24 ++++++++++++++++++++++-- 1 file changed, 22 insertions(+), 2 deletions(-) (limited to 'src-3.0/GF/Infra') diff --git a/src-3.0/GF/Infra/Option.hs b/src-3.0/GF/Infra/Option.hs index 3b390e98e..be3ddfadb 100644 --- a/src-3.0/GF/Infra/Option.hs +++ b/src-3.0/GF/Infra/Option.hs @@ -78,7 +78,18 @@ data Phase = Preproc | Convert | Compile | Link data Encoding = UTF_8 | ISO_8859_1 deriving (Show,Eq,Ord) -data OutputFormat = FmtPGF | FmtJavaScript | FmtHaskell | FmtHaskellGADT +data OutputFormat = FmtPGF + | FmtJavaScript + | FmtHaskell + | FmtHaskell_GADT + | FmtSRGS_XML + | FmtSRGS_ABNF + | FmtJSGF + | FmtGSL + | FmtVoiceXML + | FmtSLF + | FmtRegExp + | FmtFA deriving (Eq,Ord) data Optimization = OptStem | OptCSE | OptExpand | OptParametrize | OptValues @@ -406,7 +417,16 @@ outputFormats = [("pgf", FmtPGF), ("js", FmtJavaScript), ("haskell", FmtHaskell), - ("haskell_gadt", FmtHaskellGADT)] + ("haskell_gadt", FmtHaskell_GADT), + ("srgs", FmtSRGS_XML), + ("srgs_xml", FmtSRGS_XML), + ("srgs_abnf", FmtSRGS_ABNF), + ("jsgf", FmtJSGF), + ("gsl", FmtGSL), + ("vxml", FmtVoiceXML), + ("slf", FmtSLF), + ("regexp", FmtRegExp), + ("fa", FmtFA)] instance Show OutputFormat where show = lookupShow outputFormats -- cgit v1.2.3