Remove dead code
authorNeil Mitchell <ndmitchell@gmail.com>
Sun, 19 Oct 2014 13:02:19 +0000 (14:02 +0100)
committerNeil Mitchell <ndmitchell@gmail.com>
Sun, 19 Oct 2014 13:02:19 +0000 (14:02 +0100)
tests/AutoTest.hs

index 8526c99..38a9501 100644 (file)
@@ -40,71 +40,3 @@ quickSafe prop = do
     case res of
         Success{} -> return ()
         _ -> error $ show res
-    -- checkit quick prop
-
--- below is mainly stolen from Test.QuickCheck, modified to crash out on failure
--- Doesn't compile with QuickCheck 2.4.1.1, so we just use the quickCheck function for now
-
-{-
-quick :: Config
-quick = Config
-  { configMaxTest = 500
-  , configMaxFail = 1000
-  , configSize    = (+ 3) . (`div` 2)
-  , configEvery   = \n args -> let s = show n in s ++ [ '\b' | _ <- s ]
-  }
-
-checkit :: Testable a => Config -> a -> IO ()
-checkit config a =
-  do rnd <- newStdGen
-     tests config (evaluate a) rnd 0 0 []
-
-
-tests :: Config -> Gen Result -> StdGen -> Int -> Int -> [[String]] -> IO () 
-tests config gen rnd0 ntest nfail stamps
-  | ntest == configMaxTest config = do done "OK, passed" ntest stamps
-  | nfail == configMaxFail config = do done "Arguments exhausted after" ntest stamps
-                                       error "More entropy required!"
-  | otherwise               =
-      do putStr (configEvery config ntest (arguments result))
-         case ok result of
-           Nothing    ->
-             tests config gen rnd1 ntest (nfail+1) stamps
-           Just True  ->
-             tests config gen rnd1 (ntest+1) nfail (stamp result:stamps)
-           Just False ->
-             error ( "Falsifiable, after "
-                   ++ show ntest
-                   ++ " tests:\n"
-                   ++ unlines (arguments result)
-                    )
-     where
-      result      = generate (configSize config ntest) rnd2 gen
-      (rnd1,rnd2) = split rnd0
-
-done :: String -> Int -> [[String]] -> IO ()
-done mesg ntest stamps =
-  do putStr ( mesg ++ " " ++ show ntest ++ " tests" ++ table )
- where
-  table = display
-        . map entry
-        . reverse
-        . sort
-        . map pairLength
-        . group
-        . sort
-        . filter (not . null)
-        $ stamps
-
-  display []  = ".\n"
-  display [x] = " (" ++ x ++ ").\n"
-  display xs  = ".\n" ++ unlines (map (++ ".") xs)
-
-  pairLength xss@(xs:_) = (length xss, xs)
-  entry (n, xs)         = percentage n ntest
-                       ++ " "
-                       ++ concat (intersperse ", " xs)
-
-  percentage n m        = show ((100 * n) `div` m) ++ "%"
--}
-