@@ -17,9 +17,7 @@ import qualified Prelude
17
17
import qualified Data.List
18
18
import Test.QuickCheck hiding ((><) )
19
19
import Test.QuickCheck.Poly
20
- #ifdef SLOW_TESTS
21
20
import Test.QuickCheck.Function
22
- #endif
23
21
import Test.Framework
24
22
import Test.Framework.Providers.QuickCheck2
25
23
@@ -96,11 +94,9 @@ main = defaultMain
96
94
, testProperty " zipWith3" prop_zipWith3
97
95
, testProperty " zip4" prop_zip4
98
96
, testProperty " zipWith4" prop_zipWith4
99
- #ifdef SLOW_TESTS
100
97
, testProperty " <*>" prop_ap
101
98
, testProperty " *>" prop_then
102
99
, testProperty " >>=" prop_bind
103
- #endif
104
100
]
105
101
106
102
------------------------------------------------------------------------
@@ -598,23 +594,19 @@ prop_zipWith4 xs ys zs ts =
598
594
599
595
-- Applicative operations
600
596
601
- #ifdef SLOW_TESTS
602
597
prop_ap :: Seq A -> Seq B -> Bool
603
598
prop_ap xs ys =
604
599
toList' ((,) <$> xs <*> ys) ~= ( (,) <$> toList xs <*> toList ys )
605
600
606
601
prop_then :: Seq A -> Seq B -> Bool
607
602
prop_then xs ys =
608
603
toList' (xs *> ys) ~= (toList xs *> toList ys)
609
- #endif
610
604
611
605
-- Monad operations
612
606
613
- #ifdef SLOW_TESTS
614
607
prop_bind :: Seq A -> Fun A (Seq B ) -> Bool
615
608
prop_bind xs (Fun _ f) =
616
609
toList' (xs >>= f) ~= (toList xs >>= toList . f)
617
- #endif
618
610
619
611
-- Simple test monad
620
612
0 commit comments