diff options
| author | krasimir <krasimir@chalmers.se> | 2010-03-20 07:26:53 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-03-20 07:26:53 +0000 |
| commit | fba592ecf8f7a14b30f7bcef932f516396169ee9 (patch) | |
| tree | c66a04c1ef74b246b4655ee3a48304186a1e59bc /src/compiler/GF/Infra | |
| parent | 973a0cacb7c2f68dfed29ff0dc355fdcebfef3ae (diff) | |
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
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 34cc383dc..3c35fef00 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -85,6 +85,7 @@ data OutputFormat = FmtPGFPretty | FmtHaskell | FmtProlog | FmtProlog_Abs + | FmtLambdaProlog | FmtBNF | FmtEBNF | FmtRegular @@ -432,6 +433,7 @@ outputFormats = ("haskell", FmtHaskell), ("prolog", FmtProlog), ("prolog_abs", FmtProlog_Abs), + ("lambda_prolog",FmtLambdaProlog), ("bnf", FmtBNF), ("ebnf", FmtEBNF), ("regular", FmtRegular), |