From 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 2 May 2004 08:21:25 +0000 Subject: gt Term --- src/GF/API.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/GF/API.hs') diff --git a/src/GF/API.hs b/src/GF/API.hs index 49d7fd5a2..d748a5517 100644 --- a/src/GF/API.hs +++ b/src/GF/API.hs @@ -157,10 +157,10 @@ randomTreesIO opts gr n = do g = grammar gr mx = optIntOrN opts flagDepth 41 -generateTrees :: Options -> GFGrammar -> [Tree] -generateTrees opts gr = +generateTrees :: Options -> GFGrammar -> Maybe Tree -> [Tree] +generateTrees opts gr mt = optIntOrAll opts flagNumber - [tr | t <- Gen.generateTrees gr' cat dpt mn, Ok tr <- [mkTr t]] + [tr | t <- Gen.generateTrees gr' cat dpt mn mt, Ok tr <- [mkTr t]] where mkTr = annotate gr' . qualifTerm (absId gr) gr' = grammar gr -- cgit v1.2.3