From fba592ecf8f7a14b30f7bcef932f516396169ee9 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 20 Mar 2010 07:26:53 +0000
Subject: 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.

---
 src/compiler/GF/Infra/Option.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/compiler/GF/Infra')

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),
-- 
cgit v1.2.3