Remove tests for removed modules
authorIan Lynagh <igloo@earth.li>
Fri, 20 Jul 2012 17:30:36 +0000 (18:30 +0100)
committerIan Lynagh <igloo@earth.li>
Fri, 20 Jul 2012 17:30:36 +0000 (18:30 +0100)
tests/Concurrent/4876.hs [deleted file]
tests/Concurrent/QSem001.hs [deleted file]
tests/Concurrent/QSem001.stdout [deleted file]
tests/Concurrent/QSemN001.hs [deleted file]
tests/Concurrent/QSemN001.stdout [deleted file]
tests/Concurrent/SampleVar001.hs [deleted file]
tests/Concurrent/SampleVar001.stdout [deleted file]
tests/Concurrent/all.T

diff --git a/tests/Concurrent/4876.hs b/tests/Concurrent/4876.hs
deleted file mode 100644 (file)
index 68c2a87..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-import System.Random
-import Control.Concurrent.SampleVar
-import Control.Concurrent
-import Control.Monad
-
-produce, consume :: SampleVar Int -> IO ()
-produce svar = do
-   b <- isEmptySampleVar svar
-   if b then writeSampleVar svar 3 else return ()
-
-consume svar = readSampleVar svar >>= print
-
-main = do
-   svar <- newEmptySampleVar
-   m <- newEmptyMVar
-   forkIO $ consume svar >> putMVar m ()
-   threadDelay 100000     -- 100 ms
-   produce svar
-   takeMVar m -- deadlocked before the fix in #4876
diff --git a/tests/Concurrent/QSem001.hs b/tests/Concurrent/QSem001.hs
deleted file mode 100644 (file)
index 1f25599..0000000
+++ /dev/null
@@ -1,93 +0,0 @@
-import Debug.QuickCheck\r
-import System.IO.Unsafe\r
-import Control.Concurrent.QSem\r
-import Control.Concurrent\r
-import Control.Monad\r
-\r
-\r
-main = do \r
-  t <- myThreadId\r
-  forkIO (threadDelay 1000000 >> killThread t)\r
-       -- just in case we deadlock\r
-  testQSem\r
-\r
-data Action = NewQSem Int | SignalQSem | WaitQSem\r
-  deriving (Eq,Show)\r
-\r
-\r
-testQSem :: IO ()\r
-testQSem = do\r
-  quietCheck prop_SignalWait\r
-  quietCheck prop_WaitSignal\r
-\r
-quietCheck = check defaultConfig{configEvery = \n args -> ""}\r
-\r
-prop_SignalWait n = \r
-  n>=0 ==> [NewQSem n,SignalQSem,WaitQSem] =^ [NewQSem n]\r
-\r
-prop_WaitSignal n = \r
-  n>=1 ==> [NewQSem n,WaitQSem,SignalQSem] =^ [NewQSem n]\r
-\r
-\r
-perform :: [Action] -> IO ()\r
-perform [] = return ()\r
-\r
-perform (a:as) =\r
-  case a of\r
-    NewQSem n    -> newQSem n >>= \qs -> perform' qs as\r
-    _           -> error $ "Please use NewQSem as first action" ++ show a\r
-\r
-\r
-perform' :: QSem -> [Action] -> IO ()\r
-perform' _ [] = return ()\r
-\r
-perform' qs (a:as) =\r
-  case a of\r
-    SignalQSem       -> signalQSem qs >> perform' qs as\r
-    WaitQSem         -> waitQSem qs >> perform' qs as\r
-    _               -> error $ "If you want to use " ++ show a \r
-                               ++ " please use the =^ operator"\r
-   \r
-\r
-actions :: Gen [Action]\r
-actions = do\r
-  i <- arbitrary\r
-  liftM (NewQSem i:) (actions' i) \r
-\r
-\r
-actions' :: Int -> Gen [Action]\r
-actions' quantity =\r
-  oneof ([return [],\r
-         liftM (SignalQSem:) (actions' (quantity+1))] ++\r
-         if quantity<=0\r
-            then []\r
-            else [liftM (WaitQSem:) (actions' (quantity-1))])  \r
-\r
-\r
-(=^) :: [Action] -> [Action] -> Property\r
-c =^ c' =\r
-  forAll (actions' (delta 0 c))\r
-        (\suff -> observe c suff == observe c' suff)\r
-  where observe x suff = unsafePerformIO (perform (x++suff))\r
-\r
-\r
-(^=^) :: [Action] -> [Action] -> Property\r
-c ^=^ c' =\r
-  forAll actions\r
-        (\pref -> forAll (actions' (delta 0 (pref++c)))\r
-                         (\suff -> observe c pref suff == \r
-                                     observe c' pref suff))\r
-  where observe x pref suff = unsafePerformIO (perform (pref++x++suff))\r
-\r
-\r
-delta :: Int -> [Action] -> Int\r
-delta i [] = i\r
-\r
-delta _ (NewQSem i:as) = delta i as\r
-\r
-delta i (SignalQSem:as) = delta (i+1) as\r
-\r
-delta i (WaitQSem:as) = delta (if i<=0\r
-                                 then error "wait on 'empty' QSem"\r
-                                 else i-1) as\r
-\r
diff --git a/tests/Concurrent/QSem001.stdout b/tests/Concurrent/QSem001.stdout
deleted file mode 100644 (file)
index 7288d19..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-OK, passed 100 tests.
-OK, passed 100 tests.
diff --git a/tests/Concurrent/QSemN001.hs b/tests/Concurrent/QSemN001.hs
deleted file mode 100644 (file)
index c31d6a6..0000000
+++ /dev/null
@@ -1,96 +0,0 @@
-import Debug.QuickCheck\r
-import System.IO.Unsafe\r
-import Control.Concurrent.QSemN\r
-import Control.Concurrent\r
-import Control.Monad\r
-\r
-\r
-main = do \r
-  t <- myThreadId\r
-  forkIO (threadDelay 1000000 >> killThread t)\r
-       -- just in case we deadlock\r
-  testQSemN\r
-\r
-data Action = NewQSemN Int | SignalQSemN Int | WaitQSemN Int\r
-  deriving (Eq,Show)\r
-\r
-\r
-testQSemN :: IO ()\r
-testQSemN = do\r
-  quietCheck prop_SignalWait\r
-  quietCheck prop_WaitSignal\r
-\r
-quietCheck = check defaultConfig{configEvery = \n args -> ""}\r
-\r
-\r
-prop_SignalWait l m n = l+m>=n ==> \r
-  [NewQSemN l,SignalQSemN m,WaitQSemN n] =^ [NewQSemN (l+m-n)]\r
-\r
-prop_WaitSignal l m n = l>=m ==> \r
-  [NewQSemN l,WaitQSemN m,SignalQSemN n] =^ [NewQSemN (l-m+n)]\r
-\r
-\r
-perform :: [Action] -> IO [Int]\r
-perform [] = return []\r
-\r
-perform (a:as) =\r
-  case a of\r
-    NewQSemN n   -> newQSemN n >>= \qs -> perform' qs as\r
-    _           -> error $ "Please use NewQSemN as first action" ++ show a\r
-\r
-\r
-perform' :: QSemN -> [Action] -> IO [Int]\r
-perform' _ [] = return []\r
-\r
-perform' qs (a:as) =\r
-  case a of\r
-    SignalQSemN n    -> signalQSemN qs n >> perform' qs as\r
-    WaitQSemN n      -> waitQSemN qs n >> perform' qs as\r
-    _               -> error $ "If you want to use " ++ show a \r
-                               ++ " please use the =^ operator"\r
-   \r
-\r
-actions :: Gen [Action]\r
-actions = do\r
-  i <- arbitrary\r
-  liftM (NewQSemN i:) (actions' i) \r
-\r
-\r
-actions' :: Int -> Gen [Action]\r
-actions' quantity =\r
-  oneof ([return [],\r
-         do i<- choose (0,maxBound)\r
-            liftM (SignalQSemN i:) (actions' (quantity+i))] ++\r
-         if quantity<=0\r
-            then []\r
-            else [do i<- choose (0,quantity)\r
-                     liftM (WaitQSemN i:) (actions' (quantity-i))])  \r
-\r
-\r
-(=^) :: [Action] -> [Action] -> Property\r
-c =^ c' =\r
-  forAll (actions' (delta 0 c))\r
-        (\suff -> observe c suff == observe c' suff)\r
-  where observe x suff = unsafePerformIO (perform (x++suff))\r
-\r
-\r
-(^=^) :: [Action] -> [Action] -> Property\r
-c ^=^ c' =\r
-  forAll actions\r
-        (\pref -> forAll (actions' (delta 0 (pref++c)))\r
-                         (\suff -> observe c pref suff == \r
-                                     observe c' pref suff))\r
-  where observe x pref suff = unsafePerformIO (perform (pref++x++suff))\r
-\r
-\r
-delta :: Int -> [Action] -> Int\r
-delta i [] = i\r
-\r
-delta _ (NewQSemN i:as) = delta i as\r
-\r
-delta i (SignalQSemN n:as) = delta (i+n) as\r
-\r
-delta i (WaitQSemN n:as) = delta (if i<n\r
-                                 then error "wait on 'empty' QSemN"\r
-                                 else i-n) as\r
-\r
diff --git a/tests/Concurrent/QSemN001.stdout b/tests/Concurrent/QSemN001.stdout
deleted file mode 100644 (file)
index 7288d19..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-OK, passed 100 tests.
-OK, passed 100 tests.
diff --git a/tests/Concurrent/SampleVar001.hs b/tests/Concurrent/SampleVar001.hs
deleted file mode 100644 (file)
index def86c5..0000000
+++ /dev/null
@@ -1,132 +0,0 @@
--------------------------------------------------------------------------------\r
--- Module      :  SampleVarTest\r
--------------------------------------------------------------------------------\r
-\r
-import Debug.QuickCheck\r
-import System.IO.Unsafe\r
-import Control.Concurrent\r
-import Control.Concurrent.SampleVar\r
-import Control.Monad\r
-\r
-\r
-data Action = NewEmptySampleVar | NewSampleVar Int | EmptySampleVar \r
-           | ReadSampleVar | WriteSampleVar Int | IsEmptySampleVar \r
-           | ReturnInt Int | ReturnBool Bool\r
-  deriving (Eq,Show)\r
-\r
-\r
-main = do \r
-  t <- myThreadId\r
-  forkIO (threadDelay 1000000 >> killThread t)\r
-       -- just in case we deadlock\r
-  testSampleVar\r
-\r
-testSampleVar :: IO ()\r
-testSampleVar = do\r
-  quickCheck prop_NewEIs_NewERet\r
-  quickCheck prop_NewIs_NewRet\r
-  quickCheck prop_NewRead_NewRet\r
-  quickCheck prop_NewEWriteRead_NewERet\r
-  quickCheck prop_WriteEmpty_Empty\r
-  quickCheck prop_WriteRead_Ret\r
-\r
-\r
-\r
-perform :: [Action] -> IO ([Bool],[Int])\r
-perform [] = return ([],[])\r
-\r
-perform (a:as) =\r
-  case a of\r
-    ReturnInt v              -> liftM (\(b,l) -> (b,v:l)) (perform as)\r
-    ReturnBool v      -> liftM (\(b,l) -> (v:b,l)) (perform as)\r
-    NewEmptySampleVar -> newEmptySampleVar >>= \sv -> perform' sv as\r
-    NewSampleVar n    -> newSampleVar n >>= \sv -> perform' sv as    \r
-\r
-\r
-perform' :: SampleVar Int -> [Action] -> IO ([Bool],[Int])\r
-perform' _ [] = return ([],[])\r
-\r
-perform' sv (a:as) =\r
-  case a of\r
-    ReturnInt v              -> liftM (\(b,l) -> (b,v:l)) (perform' sv as)\r
-    ReturnBool v      -> liftM (\(b,l) -> (v:b,l)) (perform' sv as)\r
-    EmptySampleVar    -> emptySampleVar sv >> perform' sv as\r
-    ReadSampleVar     -> liftM2 (\v (b,l) -> (b,v:l)) (readSampleVar sv) \r
-                               (perform' sv as)\r
-    WriteSampleVar n  -> writeSampleVar sv n >> perform' sv as\r
-    IsEmptySampleVar  -> liftM2 (\v (b,l) -> (v:b,l)) (isEmptySampleVar sv)\r
-                               (perform' sv as)\r
-\r
-\r
-actions :: Gen [Action]\r
-actions = do\r
-  oneof [liftM (NewEmptySampleVar:) (actions' True),\r
-        liftM2 (:) (liftM NewSampleVar arbitrary) (actions' False)] \r
-\r
-\r
-actions' :: Bool -> Gen [Action]\r
-actions' empty =\r
-  oneof ([return [],\r
-         liftM (IsEmptySampleVar:) (actions' empty),\r
-         liftM (EmptySampleVar:) (actions' True),\r
-         liftM2 (:) (liftM WriteSampleVar arbitrary) (actions' False)] ++\r
-         if empty\r
-            then []\r
-            else [liftM (ReadSampleVar:) (actions' True)])  \r
-\r
-\r
-(=^) :: [Action] -> [Action] -> Property\r
-c =^ c' =\r
-  forAll (actions' (delta True c))\r
-        (\suff -> observe c suff == observe c' suff)\r
-  where observe x suff = unsafePerformIO (perform (x++suff))\r
-\r
-\r
-(^=^) :: [Action] -> [Action] -> Property\r
-c ^=^ c' =\r
-  forAll actions\r
-        (\pref -> forAll (actions' (delta True (pref++c)))\r
-                         (\suff -> observe c pref suff == \r
-                                     observe c' pref suff))\r
-  where observe x pref suff = unsafePerformIO (perform (pref++x++suff))\r
-\r
-\r
-delta :: Bool -> [Action] -> Bool\r
-delta b [] = b\r
-\r
-delta b (ReturnInt _:as) = delta b as\r
-\r
-delta b (ReturnBool _:as) = delta b as\r
-\r
-delta _ (NewEmptySampleVar:as) = delta True as\r
-\r
-delta _ (NewSampleVar _:as) = delta False as\r
-\r
-delta _ (EmptySampleVar:as) = delta True as\r
-\r
-delta b (ReadSampleVar:as) = delta (if b\r
-                                      then error "read on empty SampleVar"\r
-                                      else True) as \r
-delta _ (WriteSampleVar _:as) = delta False as\r
-\r
-delta b (IsEmptySampleVar:as) = delta b as\r
-\r
-\r
-prop_NewEIs_NewERet = \r
-  [NewEmptySampleVar,IsEmptySampleVar] =^ [NewEmptySampleVar,ReturnBool True]\r
-\r
-prop_NewIs_NewRet n = \r
-  [NewSampleVar n,IsEmptySampleVar] =^ [NewSampleVar n,ReturnBool False]\r
-\r
-prop_NewRead_NewRet n =\r
-  [NewSampleVar n,ReadSampleVar] =^ [NewEmptySampleVar,ReturnInt n]\r
-\r
-prop_NewEWriteRead_NewERet n = \r
-  [NewEmptySampleVar,WriteSampleVar n,ReadSampleVar] =^ \r
-    [NewEmptySampleVar,ReturnInt n]\r
-\r
-prop_WriteEmpty_Empty n = \r
-  [WriteSampleVar n,EmptySampleVar] ^=^ [EmptySampleVar]\r
-\r
-prop_WriteRead_Ret n = \r
-  [WriteSampleVar n,ReadSampleVar] ^=^ [EmptySampleVar,ReturnInt n]\r
diff --git a/tests/Concurrent/SampleVar001.stdout b/tests/Concurrent/SampleVar001.stdout
deleted file mode 100644 (file)
index 65be56c..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-0\b1\b2\b3\b4\b5\b6\b7\b8\b9\b10\b\b11\b\b12\b\b13\b\b14\b\b15\b\b16\b\b17\b\b18\b\b19\b\b20\b\b21\b\b22\b\b23\b\b24\b\b25\b\b26\b\b27\b\b28\b\b29\b\b30\b\b31\b\b32\b\b33\b\b34\b\b35\b\b36\b\b37\b\b38\b\b39\b\b40\b\b41\b\b42\b\b43\b\b44\b\b45\b\b46\b\b47\b\b48\b\b49\b\b50\b\b51\b\b52\b\b53\b\b54\b\b55\b\b56\b\b57\b\b58\b\b59\b\b60\b\b61\b\b62\b\b63\b\b64\b\b65\b\b66\b\b67\b\b68\b\b69\b\b70\b\b71\b\b72\b\b73\b\b74\b\b75\b\b76\b\b77\b\b78\b\b79\b\b80\b\b81\b\b82\b\b83\b\b84\b\b85\b\b86\b\b87\b\b88\b\b89\b\b90\b\b91\b\b92\b\b93\b\b94\b\b95\b\b96\b\b97\b\b98\b\b99\b\bOK, passed 100 tests.
-0\b1\b2\b3\b4\b5\b6\b7\b8\b9\b10\b\b11\b\b12\b\b13\b\b14\b\b15\b\b16\b\b17\b\b18\b\b19\b\b20\b\b21\b\b22\b\b23\b\b24\b\b25\b\b26\b\b27\b\b28\b\b29\b\b30\b\b31\b\b32\b\b33\b\b34\b\b35\b\b36\b\b37\b\b38\b\b39\b\b40\b\b41\b\b42\b\b43\b\b44\b\b45\b\b46\b\b47\b\b48\b\b49\b\b50\b\b51\b\b52\b\b53\b\b54\b\b55\b\b56\b\b57\b\b58\b\b59\b\b60\b\b61\b\b62\b\b63\b\b64\b\b65\b\b66\b\b67\b\b68\b\b69\b\b70\b\b71\b\b72\b\b73\b\b74\b\b75\b\b76\b\b77\b\b78\b\b79\b\b80\b\b81\b\b82\b\b83\b\b84\b\b85\b\b86\b\b87\b\b88\b\b89\b\b90\b\b91\b\b92\b\b93\b\b94\b\b95\b\b96\b\b97\b\b98\b\b99\b\bOK, passed 100 tests.
-0\b1\b2\b3\b4\b5\b6\b7\b8\b9\b10\b\b11\b\b12\b\b13\b\b14\b\b15\b\b16\b\b17\b\b18\b\b19\b\b20\b\b21\b\b22\b\b23\b\b24\b\b25\b\b26\b\b27\b\b28\b\b29\b\b30\b\b31\b\b32\b\b33\b\b34\b\b35\b\b36\b\b37\b\b38\b\b39\b\b40\b\b41\b\b42\b\b43\b\b44\b\b45\b\b46\b\b47\b\b48\b\b49\b\b50\b\b51\b\b52\b\b53\b\b54\b\b55\b\b56\b\b57\b\b58\b\b59\b\b60\b\b61\b\b62\b\b63\b\b64\b\b65\b\b66\b\b67\b\b68\b\b69\b\b70\b\b71\b\b72\b\b73\b\b74\b\b75\b\b76\b\b77\b\b78\b\b79\b\b80\b\b81\b\b82\b\b83\b\b84\b\b85\b\b86\b\b87\b\b88\b\b89\b\b90\b\b91\b\b92\b\b93\b\b94\b\b95\b\b96\b\b97\b\b98\b\b99\b\bOK, passed 100 tests.
-0\b1\b2\b3\b4\b5\b6\b7\b8\b9\b10\b\b11\b\b12\b\b13\b\b14\b\b15\b\b16\b\b17\b\b18\b\b19\b\b20\b\b21\b\b22\b\b23\b\b24\b\b25\b\b26\b\b27\b\b28\b\b29\b\b30\b\b31\b\b32\b\b33\b\b34\b\b35\b\b36\b\b37\b\b38\b\b39\b\b40\b\b41\b\b42\b\b43\b\b44\b\b45\b\b46\b\b47\b\b48\b\b49\b\b50\b\b51\b\b52\b\b53\b\b54\b\b55\b\b56\b\b57\b\b58\b\b59\b\b60\b\b61\b\b62\b\b63\b\b64\b\b65\b\b66\b\b67\b\b68\b\b69\b\b70\b\b71\b\b72\b\b73\b\b74\b\b75\b\b76\b\b77\b\b78\b\b79\b\b80\b\b81\b\b82\b\b83\b\b84\b\b85\b\b86\b\b87\b\b88\b\b89\b\b90\b\b91\b\b92\b\b93\b\b94\b\b95\b\b96\b\b97\b\b98\b\b99\b\bOK, passed 100 tests.
-0\b1\b2\b3\b4\b5\b6\b7\b8\b9\b10\b\b11\b\b12\b\b13\b\b14\b\b15\b\b16\b\b17\b\b18\b\b19\b\b20\b\b21\b\b22\b\b23\b\b24\b\b25\b\b26\b\b27\b\b28\b\b29\b\b30\b\b31\b\b32\b\b33\b\b34\b\b35\b\b36\b\b37\b\b38\b\b39\b\b40\b\b41\b\b42\b\b43\b\b44\b\b45\b\b46\b\b47\b\b48\b\b49\b\b50\b\b51\b\b52\b\b53\b\b54\b\b55\b\b56\b\b57\b\b58\b\b59\b\b60\b\b61\b\b62\b\b63\b\b64\b\b65\b\b66\b\b67\b\b68\b\b69\b\b70\b\b71\b\b72\b\b73\b\b74\b\b75\b\b76\b\b77\b\b78\b\b79\b\b80\b\b81\b\b82\b\b83\b\b84\b\b85\b\b86\b\b87\b\b88\b\b89\b\b90\b\b91\b\b92\b\b93\b\b94\b\b95\b\b96\b\b97\b\b98\b\b99\b\bOK, passed 100 tests.
-0\b1\b2\b3\b4\b5\b6\b7\b8\b9\b10\b\b11\b\b12\b\b13\b\b14\b\b15\b\b16\b\b17\b\b18\b\b19\b\b20\b\b21\b\b22\b\b23\b\b24\b\b25\b\b26\b\b27\b\b28\b\b29\b\b30\b\b31\b\b32\b\b33\b\b34\b\b35\b\b36\b\b37\b\b38\b\b39\b\b40\b\b41\b\b42\b\b43\b\b44\b\b45\b\b46\b\b47\b\b48\b\b49\b\b50\b\b51\b\b52\b\b53\b\b54\b\b55\b\b56\b\b57\b\b58\b\b59\b\b60\b\b61\b\b62\b\b63\b\b64\b\b65\b\b66\b\b67\b\b68\b\b69\b\b70\b\b71\b\b72\b\b73\b\b74\b\b75\b\b76\b\b77\b\b78\b\b79\b\b80\b\b81\b\b82\b\b83\b\b84\b\b85\b\b86\b\b87\b\b88\b\b89\b\b90\b\b91\b\b92\b\b93\b\b94\b\b95\b\b96\b\b97\b\b98\b\b99\b\bOK, passed 100 tests.
index 35a7547..ae76fc7 100644 (file)
@@ -1,14 +1,9 @@
 setTestOpts(only_compiler_types(['ghc']))
 
-test('SampleVar001', reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
-test('4876', reqlib('random'), compile_and_run, ['']) # another SampleVar test
-
 test('Chan001',      reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
 
 test('Chan002',      extra_run_opts('100'), compile_and_run, [''])
 test('Chan003',      extra_run_opts('200'), compile_and_run, [''])
 
 test('MVar001',      reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
-test('QSemN001',     reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
-test('QSem001',      reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
 test('ThreadDelay001', normal, compile_and_run, [''])