diff options
| author | aarne <unknown> | 2004-01-08 14:58:46 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-01-08 14:58:46 +0000 |
| commit | c7a953bb935f578bcbb389e9d4fbe91822ef3f14 (patch) | |
| tree | 2be6038cd3eb540c483d8134f7f953097a974dce /src/GF/API.hs | |
| parent | 62e8e319f9490613c1d5bd20f25f109bbd0a3f5d (diff) | |
Some bug fixes mostly in editor commands.
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 |