diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-09-07 14:01:46 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-09-07 14:01:46 +0200 |
| commit | 60bd12a952dae70e23f8f79077ce41dd86043d34 (patch) | |
| tree | 2d2574618630fe24d92001f0116d2108e5957a45 /src/compiler/GF/Compile/Export.hs | |
| parent | 9f7a6cfe100d2bce235b5d800a6694808be55a86 (diff) | |
the experimental export to Lambda Prolog is now obsolete and is removed
Diffstat (limited to 'src/compiler/GF/Compile/Export.hs')
| -rw-r--r-- | src/compiler/GF/Compile/Export.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/compiler/GF/Compile/Export.hs b/src/compiler/GF/Compile/Export.hs index b8b8ed1ac..d844e300a 100644 --- a/src/compiler/GF/Compile/Export.hs +++ b/src/compiler/GF/Compile/Export.hs @@ -5,7 +5,6 @@ import PGF.Internal(ppPGF) import GF.Compile.PGFtoHaskell import GF.Compile.PGFtoJava import GF.Compile.PGFtoProlog -import GF.Compile.PGFtoLProlog import GF.Compile.PGFtoJS import GF.Compile.PGFtoPython import GF.Infra.Option @@ -40,7 +39,6 @@ exportPGF opts fmt pgf = FmtHaskell -> multi "hs" (grammar2haskell opts name) FmtJava -> multi "java" (grammar2java opts name) FmtProlog -> multi "pl" grammar2prolog - FmtLambdaProlog -> multi "mod" grammar2lambdaprolog_mod ++ multi "sig" grammar2lambdaprolog_sig FmtBNF -> single "bnf" bnfPrinter FmtEBNF -> single "ebnf" (ebnfPrinter opts) FmtSRGS_XML -> single "grxml" (srgsXmlPrinter opts) |
