diff options
Diffstat (limited to 'src/GF/Infra')
| -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), |