diff options
Diffstat (limited to 'src/GF/API.hs')
| -rw-r--r-- | src/GF/API.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/GF/API.hs b/src/GF/API.hs index ab630d7a6..7053a1b67 100644 --- a/src/GF/API.hs +++ b/src/GF/API.hs @@ -264,7 +264,7 @@ optPrintSyntax opts = customOrDefault opts grammarPrinter customSyntaxPrinter prCanonGrammar :: CanonGrammar -> String prCanonGrammar = MC.prCanon -{- ---- + optPrintTree :: Options -> GFGrammar -> Tree -> String optPrintTree opts = customOrDefault opts grammarPrinter customTermPrinter @@ -274,11 +274,11 @@ optStringCommand opts g = optIntOrAll opts flagLength . customOrDefault opts filterString customStringCommand g -optTreeCommand :: Options -> GFGrammar -> Tree -> [Tree] -optTreeCommand opts st = +optTermCommand :: Options -> GFGrammar -> Tree -> [Tree] +optTermCommand opts st = optIntOrAll opts flagNumber . customOrDefault opts termCommand customTermCommand st --} + {- -- wraps term in a function and optionally computes the result |