Add a super simple failing test for idempotent map insert

iu-parfunc · May 11, 2016 · 642d2e1 · 642d2e1
1 parent 5135f51
commit 642d2e1
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/haskell/lvish/tests/CommonMapTests.hs b/haskell/lvish/tests/CommonMapTests.hs
@@ -70,6 +70,16 @@ v7a = fmap (L.sort . F.toList) $
      return mp
 
 
+case_doubleInsert :: Assertion
+case_doubleInsert = assertEqual "double insert on a map"
+   True
+   (runPar $ isDet $ do
+     mp <- IM.newEmptyMap
+     IM.insert (3::Int) True mp
+     IM.insert 3 True mp
+     IM.getKey 3 mp)
+
+
 --------------------------------------------------------------------------------
 -- Tests that use `forEachHP`
 --------------------------------------------------------------------------------

diff --git a/haskell/lvish/tests/CommonMapWriteTests.hs b/haskell/lvish/tests/CommonMapWriteTests.hs
@@ -78,3 +78,4 @@ case_fillFreeze1K = assertEqual "fill and then freeze"
     (sum [0..sz-1])
     (case sortFrzn (fillNFreeze sz) of AFoldable x -> F.foldl' (+) 0 x)
  where sz = 1000
+