diff options
| author | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-05-02 08:21:25 +0000 |
| commit | 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a (patch) | |
| tree | 8691f24c809b10b047f552690576bb9a6ace9c7c /src/GF/API.hs | |
| parent | 487571a685382922f04985995d0f8779284bdc8d (diff) | |
gt Term
Diffstat (limited to 'src/GF/API.hs')
| -rw-r--r-- | src/GF/API.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |