diff options
Diffstat (limited to 'src/compiler/GF/Infra')
| -rw-r--r-- | src/compiler/GF/Infra/Option.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 48cb25cc7..efd59ca0b 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -90,6 +90,7 @@ data OutputFormat = FmtPGFPretty | FmtJavaScript | FmtPython | FmtHaskell + | FmtJava | FmtProlog | FmtLambdaProlog | FmtByteCode @@ -475,6 +476,7 @@ outputFormatsExpl = (("js", FmtJavaScript),"JavaScript (whole grammar)"), (("python", FmtPython),"Python (whole grammar)"), (("haskell", FmtHaskell),"Haskell (abstract syntax)"), + (("java", FmtJava),"Java (abstract syntax)"), (("prolog", FmtProlog),"Prolog (whole grammar)"), (("lambda_prolog",FmtLambdaProlog),"LambdaProlog (abstract syntax)"), (("lp_byte_code", FmtByteCode),"Bytecode for Teyjus (abstract syntax, experimental)"), |