Genericized emptymap

diff --git a/testsrc/TestInfrastructure.hs b/testsrc/TestInfrastructure.hs
index 41e6ad580357eff74672e0feb8a89bb64b49c7b7..40531b1d1c5283adc90e7ddfd73138ab3ce1264c 100644 (file)
--- a/testsrc/TestInfrastructure.hs
+++ b/testsrc/TestInfrastructure.hs
@@ -36,7 +36,7 @@ expected @=? actual =
 keysToMap :: Ord k => [k] -> Map.Map k ()
 keysToMap = foldl (\map k -> Map.insert k () map) Map.empty
 
-emptymap :: Map.Map Int ()
+emptymap :: (Eq k, Ord k) => Map.Map k ()
 emptymap = Map.empty
 
 instance (Arbitrary k, Eq k, Ord k) => Arbitrary (Map.Map k ()) where

diff --git a/testsrc/runtests.hs b/testsrc/runtests.hs
index 23ddb4f95b8185a3434880a6cd201ed3a458d302..1e705037d898a73939c754cf56dcace114126a2c 100644 (file)
--- a/testsrc/runtests.hs
+++ b/testsrc/runtests.hs
@@ -30,7 +30,7 @@ import TestInfrastructure
 
 prop_empty :: Bool
 prop_empty =
-    syncThem emptymap emptymap emptymap == ([], []) -- ([DeleteItem 5], [], [])
+    syncThem (emptymap::Map.Map Int ()) emptymap emptymap == ([], []) -- ([DeleteItem 5], [], [])
 
 prop_delAllFromChild :: SyncCollection Int -> Result
 prop_delAllFromChild inp =