Added srgs_xml_nonrec output format.

This commit is contained in:
bjorn
2008-08-22 08:43:58 +00:00
parent 3e5414ba4a
commit cb98536de1
2 changed files with 4 additions and 1 deletions

View File

@@ -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),