diff options
| author | bjorn <bjorn@bringert.net> | 2008-06-03 19:32:42 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-06-03 19:32:42 +0000 |
| commit | 7237438a94ae81a29b45b91a9929133afeb95831 (patch) | |
| tree | cb73fa3951563471c3ad0579569cf3251b5724b4 /src-3.0/GF/Infra | |
| parent | 2ee8ab8a714a1b2b4cf906583c04df1ee38b2cdc (diff) | |
Added "bnf" output format for debugging.
Diffstat (limited to 'src-3.0/GF/Infra')
| -rw-r--r-- | src-3.0/GF/Infra/Option.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src-3.0/GF/Infra/Option.hs b/src-3.0/GF/Infra/Option.hs index be3ddfadb..5be0d4f7c 100644 --- a/src-3.0/GF/Infra/Option.hs +++ b/src-3.0/GF/Infra/Option.hs @@ -82,6 +82,7 @@ data OutputFormat = FmtPGF | FmtJavaScript | FmtHaskell | FmtHaskell_GADT + | FmtBNF | FmtSRGS_XML | FmtSRGS_ABNF | FmtJSGF @@ -418,6 +419,7 @@ outputFormats = ("js", FmtJavaScript), ("haskell", FmtHaskell), ("haskell_gadt", FmtHaskell_GADT), + ("bnf", FmtBNF), ("srgs", FmtSRGS_XML), ("srgs_xml", FmtSRGS_XML), ("srgs_abnf", FmtSRGS_ABNF), |