Fix and reinstate the recently commented tests.
authorMilan Straka <fox@ucw.cz>
Wed, 4 Dec 2013 18:09:08 +0000 (19:09 +0100)
committerMilan Straka <fox@ucw.cz>
Wed, 4 Dec 2013 18:09:08 +0000 (19:09 +0100)
The not working tests were using the join function which we renamed to
link because of Applicative being introduced to Prelude. Nevertheless,
I forgot to update the tests. Fixing now.

tests/map-properties.hs
tests/set-properties.hs

index 3361e9f..27f08dc 100644 (file)
@@ -137,7 +137,7 @@ main = defaultMain
          , testProperty "deleteMax"            prop_deleteMax
          , testProperty "split"                prop_split
          , testProperty "splitRoot"            prop_splitRoot
---         , testProperty "split then join"      prop_join
+         , testProperty "split then link"      prop_link
          , testProperty "split then merge"     prop_merge
          , testProperty "union"                prop_union
          , testProperty "union model"          prop_unionModel
@@ -870,9 +870,9 @@ prop_splitRoot s = loop ls && (s == unions ls)
                           , y <- toList (unions rst)
                           , x > y ]
 
--- prop_join :: Int -> UMap -> Bool
--- prop_join k t = let (l,r) = split k t
---                 in valid (join k () l r)
+prop_link :: Int -> UMap -> Bool
+prop_link k t = let (l,r) = split k t
+                in valid (link k () l r)
 
 prop_merge :: Int -> UMap -> Bool
 prop_merge k t = let (l,r) = split k t
index 880f9c0..3ff6f73 100644 (file)
@@ -31,7 +31,7 @@ main = defaultMain [ testCase "lookupLT" test_lookupLT
                    , testProperty "prop_InsertValid" prop_InsertValid
                    , testProperty "prop_InsertDelete" prop_InsertDelete
                    , testProperty "prop_DeleteValid" prop_DeleteValid
---                   , testProperty "prop_Join" prop_Join
+                   , testProperty "prop_Link" prop_Link
                    , testProperty "prop_Merge" prop_Merge
                    , testProperty "prop_UnionValid" prop_UnionValid
                    , testProperty "prop_UnionInsert" prop_UnionInsert
@@ -216,10 +216,10 @@ prop_DeleteValid k = forValidUnitTree $ \t -> valid (delete k (insert k t))
 {--------------------------------------------------------------------
   Balance
 --------------------------------------------------------------------}
--- prop_Join :: Int -> Property
--- prop_Join x = forValidUnitTree $ \t ->
---     let (l,r) = split x t
---     in valid (join x l r)
+prop_Link :: Int -> Property
+prop_Link x = forValidUnitTree $ \t ->
+    let (l,r) = split x t
+    in valid (link x l r)
 
 prop_Merge :: Int -> Property
 prop_Merge x = forValidUnitTree $ \t ->