Update to quickcheck-lockstep-0.8

The most invasive change is that the `Realized` type family disappeared, but as
a result we also have to run the `IOSim` test with the `RealWorld` state token.
The `quickcheck-dynamic` library requires the return types of actions to be
`Typeable`, and if the state token appears in the return type of an action
(which it does in our tests), then the state token has to be typeable, which is
only really possible if we use `RealWorld`.

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

@@ -893,12 +893,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
@@ -1208,7 +1207,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

@@ -416,7 +416,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