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/Compile/Export.hs | |
| 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/Compile/Export.hs')
| -rw-r--r-- | src/compiler/GF/Compile/Export.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/compiler/GF/Compile/Export.hs b/src/compiler/GF/Compile/Export.hs index 943231a36..cd2f0b7a6 100644 --- a/src/compiler/GF/Compile/Export.hs +++ b/src/compiler/GF/Compile/Export.hs @@ -4,6 +4,7 @@ import PGF import PGF.Printer import GF.Compile.PGFtoHaskell import GF.Compile.PGFtoProlog +import GF.Compile.PGFtoLProlog import GF.Compile.PGFtoJS import GF.Infra.Option import GF.Speech.CFG @@ -32,8 +33,9 @@ exportPGF opts fmt pgf = FmtPGFPretty -> multi "txt" (render . ppPGF) FmtJavaScript -> multi "js" pgf2js FmtHaskell -> multi "hs" (grammar2haskell opts name) - FmtProlog -> multi "pl" grammar2prolog - FmtProlog_Abs -> multi "pl" grammar2prolog_abs + FmtProlog -> multi "pl" grammar2prolog + FmtProlog_Abs -> multi "pl" grammar2prolog_abs + FmtLambdaProlog -> multi "mod" grammar2lambdaprolog_mod ++ multi "sig" grammar2lambdaprolog_sig FmtBNF -> single "bnf" bnfPrinter FmtEBNF -> single "ebnf" (ebnfPrinter opts) FmtSRGS_XML -> single "grxml" (srgsXmlPrinter opts) |