Merge pull request #778 from IntersectMBO/jdral/quickcheck-lockstep-0.8.0

Update to `quickcheck-lockstep-0.8`

Author: jorisdral

cabal.project.release

@@ -1,7 +1,7 @@
 index-state:
   -- Bump this if you need newer packages from Hackage
-  -- current date: fs-api-0.4.0.0 and fs-sim-0.4.0.0
-  , hackage.haskell.org 2025-07-01T00:00:00Z
+  -- current date: quickcheck-lockstep-0.8.0
+  , hackage.haskell.org 2025-07-03T13:54:16Z
 
 packages:
   .

lsm-tree.cabal

@@ -771,12 +771,11 @@ test-suite lsm-tree-test
     , quickcheck-classes
     , quickcheck-dynamic
     , quickcheck-instances
-    , quickcheck-lockstep
+    , quickcheck-lockstep     >=0.8
     , random
     , safe-wild-cards
     , semialign
     , split
-    , stm
     , tasty
     , tasty-golden
     , tasty-hunit
@@ -1090,7 +1089,7 @@ test-suite prototypes-test
     , primitive
     , QuickCheck
     , quickcheck-dynamic
-    , quickcheck-lockstep
+    , quickcheck-lockstep  >=0.8
     , tasty
     , tasty-hunit
     , tasty-quickcheck

test-prototypes/Test/ScheduledMergesQLS.hs

@@ -383,7 +383,7 @@ deriving stock instance Eq (ModelValue Model a)
 
 
 runActionIO :: Action (Lockstep Model) a
-            -> LookUp IO
+            -> LookUp
             -> ReaderT (PrimVar RealWorld TableId) IO a
 runActionIO action lookUp = ReaderT $ \tidVar -> do
   case action of
@@ -408,7 +408,7 @@ runActionIO action lookUp = ReaderT $ \tidVar -> do
     ADump      var      -> stToIO $ logicalValue (lookUpVar var)
   where
     lookUpVar :: ModelVar Model a -> a
-    lookUpVar = realLookupVar (Proxy :: Proxy IO) lookUp
+    lookUpVar = realLookupVar lookUp
 
     tr :: Tracer (ST RealWorld) Event
     tr = nullTracer

test/Test/Database/LSMTree/Internal/Readers.hs

@@ -414,7 +414,7 @@ instance RunLockstep ReadersState RealMonad where
       Pop {}          -> OEither . bimap OId (OTuple3 . trimap OId OId OId)
       DropWhileKey {} -> OEither . bimap OId (OTuple2 . bimap OId OId)
 
-runIO :: LockstepAction ReadersState a -> LookUp RealMonad -> RealMonad (Realized RealMonad a)
+runIO :: LockstepAction ReadersState a -> LookUp -> RealMonad a
 runIO act lu = case act of
     New offset srcDatas -> ReaderT $ \(hfs, hbio) -> do
       RealState numRuns mCtx <- get