Remove debugging info.

leepike · May 11, 2012 · 705142b · 705142b
1 parent d62f3e1
commit 705142b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 8 deletions.
diff --git a/src/Test/SmartCheck/Common.hs b/src/Test/SmartCheck/Common.hs
@@ -55,9 +55,7 @@ data Result a = FailedPreCond
 iterateArb :: (Data a, SubTypes a) 
            => a -> Idx -> Int -> Int
            -> (a -> Q.Property) -> IO (Result a)
-iterateArb d idx tries sz prop = do
-  putStrLn ("iteratearb " ++ show idx)
-  putStrLn (show d)
+iterateArb d idx tries sz prop =
   case getAtIdx d idx of
     Nothing -> error "iterateArb 0"
     Just v  -> do rnds <- mkVals v

diff --git a/src/Test/SmartCheck/Reduce.hs b/src/Test/SmartCheck/Reduce.hs
@@ -90,11 +90,6 @@ iterReduce args d idx prop = do
 mkTry :: forall a. SubTypes a
       => Q.Args -> a -> Idx -> (a -> Q.Property) -> Int -> IO a
 mkTry args d idx prop maxSize = do
-  -- YYY
-  putStrLn (show d)
-  putStrLn (show idx)
-  putStrLn (show maxSize)
-
   v <- mv
   case v of
     -- This sees if some subterm directly fails the property.  If so, we'll take