@@ -173,7 +173,6 @@ testPolymorphicFunctions _ = $(testProperties [
173
173
174
174
-- Paritioning
175
175
'prop_partition, {- 'prop_unstablePartition, -}
176
- 'prop_partitionWith,
177
176
'prop_span, 'prop_break,
178
177
179
178
-- Searching
@@ -315,8 +314,6 @@ testPolymorphicFunctions _ = $(testProperties [
315
314
prop_dropWhile :: P ((a -> Bool ) -> v a -> v a ) = V. dropWhile `eq` dropWhile
316
315
prop_partition :: P ((a -> Bool ) -> v a -> (v a , v a ))
317
316
= V. partition `eq` partition
318
- prop_partitionWith :: P ((a -> Either a a ) -> v a -> (v a , v a ))
319
- = V. partitionWith `eq` partitionWith
320
317
prop_span :: P ((a -> Bool ) -> v a -> (v a , v a )) = V. span `eq` span
321
318
prop_break :: P ((a -> Bool ) -> v a -> (v a , v a )) = V. break `eq` break
322
319
@@ -468,13 +465,7 @@ testPolymorphicFunctions _ = $(testProperties [
468
465
constructrN xs 0 _ = xs
469
466
constructrN xs n f = constructrN (f xs : xs) (n- 1 ) f
470
467
471
- -- copied from GHC source code
472
- partitionWith :: (a -> Either b c ) -> [a ] -> ([b ], [c ])
473
- partitionWith _ [] = ([] ,[] )
474
- partitionWith f (x: xs) = case f x of
475
- Left b -> (b: bs, cs)
476
- Right c -> (bs, c: cs)
477
- where (bs,cs) = partitionWith f xs
468
+
478
469
479
470
testTuplyFunctions :: forall a v . (CommonContext a v , VectorContext (a , a ) v , VectorContext (a , a , a ) v ) => v a -> [Test ]
480
471
testTuplyFunctions _ = $ (testProperties [ 'prop_zip, 'prop_zip3
0 commit comments