@@ -424,17 +424,23 @@ testPolymorphicFunctions _ = $(testProperties [
424
424
constructrN xs n f = constructrN (f xs : xs) (n- 1 ) f
425
425
426
426
testTuplyFunctions :: forall a v . (COMMON_CONTEXT (a , v ), VECTOR_CONTEXT ((a , a ), v ), VECTOR_CONTEXT ((a , a , a ), v )) => v a -> [Test ]
427
- testTuplyFunctions _ = $ (testProperties [ 'prop_zip, 'prop_zip3 , 'prop_mzip
428
- , 'prop_unzip, 'prop_unzip3 , 'prop_munzip])
427
+ testTuplyFunctions _ = $ (testProperties [ 'prop_zip, 'prop_zip3
428
+ , 'prop_unzip, 'prop_unzip3
429
+ #if MIN_VERSION_base(4,4,0)
430
+ , 'prop_mzip, 'prop_munzip
431
+ #endif
432
+ ])
429
433
where
430
434
prop_zip :: P (v a -> v a -> v (a , a )) = V. zip `eq` zip
431
435
prop_zip3 :: P (v a -> v a -> v a -> v (a , a , a )) = V. zip3 `eq` zip3
432
- prop_mzip :: P (Data.Vector. Vector a -> Data.Vector. Vector a -> Data.Vector. Vector (a , a ))
433
- = V. zip `eq` zip
434
436
prop_unzip :: P (v (a , a ) -> (v a , v a )) = V. unzip `eq` unzip
435
437
prop_unzip3 :: P (v (a , a , a ) -> (v a , v a , v a )) = V. unzip3 `eq` unzip3
438
+ #if MIN_VERSION_base(4,4,0)
439
+ prop_mzip :: P (Data.Vector. Vector a -> Data.Vector. Vector a -> Data.Vector. Vector (a , a ))
440
+ = mzip `eq` zip
436
441
prop_munzip :: P (Data.Vector. Vector (a , a ) -> (Data.Vector. Vector a , Data.Vector. Vector a ))
437
- = V. unzip `eq` unzip
442
+ = munzip `eq` unzip
443
+ #endif
438
444
439
445
testOrdFunctions :: forall a v . (COMMON_CONTEXT (a , v ), Ord a , Ord (v a )) => v a -> [Test ]
440
446
testOrdFunctions _ = $ (testProperties
0 commit comments