diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-22 08:43:58 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-22 08:43:58 +0000 |
| commit | cb98536de15355e2b7b59a55e3ecfc5bc710e42f (patch) | |
| tree | f48338a695ae9753702bf38633a40659ef643554 /src/GF/Infra/Option.hs | |
| parent | 3e5414ba4a68d54b8e61c67532b4160ffa65a011 (diff) | |
Added srgs_xml_nonrec output format.
Diffstat (limited to 'src/GF/Infra/Option.hs')
| -rw-r--r-- | src/GF/Infra/Option.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index f992d4f98..563d6180e 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -84,7 +84,8 @@ data OutputFormat = FmtPGF | FmtHaskell | FmtHaskell_GADT | FmtBNF - | FmtSRGS_XML + | FmtSRGS_XML + | FmtSRGS_XML_NonRec | FmtSRGS_ABNF | FmtJSGF | FmtGSL @@ -444,6 +445,7 @@ outputFormats = ("haskell_gadt", FmtHaskell_GADT), ("bnf", FmtBNF), ("srgs_xml", FmtSRGS_XML), + ("srgs_xml_nonrec", FmtSRGS_XML_NonRec), ("srgs_abnf", FmtSRGS_ABNF), ("jsgf", FmtJSGF), ("gsl", FmtGSL), |