WIP

Author: jorisdral

src/Database/LSMTree.hs

@@ -1347,14 +1347,14 @@ prop> upserts table entries = traverse_ (uncurry $ upsert table) entries
 -}
 {-# SPECIALISE
   upserts ::
-    (SerialiseKey k, SerialiseValue v, ResolveValue v, SerialiseValue b) =>
+    (HasCallStack, SerialiseKey k, SerialiseValue v, ResolveValue v, SerialiseValue b) =>
     Table IO k v b ->
     Vector (k, v) ->
     IO ()
   #-}
 upserts ::
   forall m k v b.
-  (IOLike m) =>
+  (HasCallStack, IOLike m) =>
   (SerialiseKey k, SerialiseValue v, ResolveValue v, SerialiseValue b) =>
   Table m k v b ->
   Vector (k, v) ->
@@ -1432,14 +1432,14 @@ prop> deletes table keys = traverse_ (delete table) keys
 -}
 {-# SPECIALISE
   deletes ::
-    (SerialiseKey k, SerialiseValue v, ResolveValue v, SerialiseValue b) =>
+    (HasCallStack, SerialiseKey k, SerialiseValue v, ResolveValue v, SerialiseValue b) =>
     Table IO k v b ->
     Vector k ->
     IO ()
   #-}
 deletes ::
   forall m k v b.
-  (IOLike m) =>
+  (HasCallStack, IOLike m) =>
   (SerialiseKey k, SerialiseValue v, ResolveValue v, SerialiseValue b) =>
   Table m k v b ->
   Vector k ->