From b248e6e25e5b58163cc9b897be7eb0b4bf6dbdc6 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 21 Jun 2004 08:53:58 +0000
Subject: for release meeting

---
 src/GF/API.hs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/GF/API.hs')

diff --git a/src/GF/API.hs b/src/GF/API.hs
index c3d160bcd..ca97af146 100644
--- a/src/GF/API.hs
+++ b/src/GF/API.hs
@@ -148,8 +148,9 @@ string2srcTerm gr m s = do
 randomTreesIO :: Options -> GFGrammar -> Int -> IO [Tree]
 randomTreesIO opts gr n = do
   gen <- myStdGen mx
-  t   <- err (\s -> putStrLnFlush s >> return []) (return . singleton) $ 
-                                                       mkRandomTree gen mx g catfun
+  t   <- err (\s -> putS s >> return []) 
+             (return . singleton) $ 
+                mkRandomTree gen mx g catfun
   ts  <- if n==1 then return [] else randomTreesIO opts gr (n-1)
   return $ t ++ ts
  where
@@ -158,6 +159,8 @@ randomTreesIO opts gr n = do
      _ -> Left $ firstAbsCat opts gr
    g   = grammar gr
    mx  = optIntOrN opts flagDepth 41
+   putS s = if oElem beSilent opts then return () else putStrLnFlush s
+
 
 generateTrees :: Options -> GFGrammar -> Maybe Tree -> [Tree]
 generateTrees opts gr mt =
-- 
cgit v1.2.3