@@ -1,6 +1,6 @@
11module Main (main) where
22
3−import Data.List (sort)
3+import Data.List (nub, sort)
44import Test.QuickCheck
55 ( Gen
66 , Property
@@ -49,7 +49,10 @@ joinInnerMap :: Property
4949joinInnerMap =
5050 forAll (listOf (chooseInt (min_value, max_value))) $ \ls0 ->
5151 forAll (listOf (chooseInt (min_value, max_value))) $ \ls1 ->
52− monadicIO $ action (map (\a -> (a,a)) ls0) (map (\a -> (a,a)) ls1)
52+ monadicIO $
53+ action
54+ (map (\a -> (a,a)) ls0)
55+ (map (\a -> (a,a)) ls1)
5356
5457 where
5558
@@ -60,10 +63,10 @@ joinInnerMap =
6063 $ Top.joinInnerMap (S.fromList ls0) (S.fromList ls1)
6164 let v2 = [
6265 (fst i, fst i, fst j)
63− | i <- ls0, j <- ls1
66+ | i <- ls0, j <- nub ls1
6467 , fst i == fst j
6568 ]
66− assert (v1 == v2)
69+ assert (sort v1 == sort v2)
6770
6871-------------------------------------------------------------------------------
6972-- Main