Merge pull request #718 from IntersectMBO/jdral/quickcheck-lockstep-0.7.0

Use `quickcheck-lockstep-0.7.0` from Hackage

Author: jorisdral

cabal.project.release

@@ -1,6 +1,7 @@
 index-state:
   -- Bump this if you need newer packages from Hackage
-  , hackage.haskell.org 2025-05-01T00:00:00Z
+  -- quickcheck-lockstep-0.7.0
+  , hackage.haskell.org 2025-05-09T15:42:47Z
 
 packages:
   .
@@ -30,10 +31,4 @@ source-repository-package
   tag: 55efd82e10c2b2d339bdfdc29d8d4bd8484150ba
   subdir:
     fs-api
-    fs-sim
-
--- ghc-9.12 and shrinkVar
-source-repository-package
-  type: git
-  location: https://github.com/well-typed/quickcheck-lockstep
-  tag: a2d95e9d0cdee376353ad9587faecc68a5c1f0f0
+    fs-sim

prototypes/ScheduledMergesTestQLS.hs

@@ -375,7 +375,7 @@ runActionIO action lookUp =
     ADump      var      -> logicalValue (lookUpVar var)
   where
     lookUpVar :: ModelVar Model a -> a
-    lookUpVar = lookUpGVar (Proxy :: Proxy IO) lookUp
+    lookUpVar = realLookupVar (Proxy :: Proxy IO) lookUp
 
     tr :: Tracer (ST RealWorld) Event
     tr = nullTracer

test/Test/Database/LSMTree/StateMachine.hs

@@ -1604,7 +1604,7 @@ runIO action lookUp = ReaderT $ \ !env -> do
         session = envSession env
 
     lookUp' :: Var h x -> Realized IO x
-    lookUp' = lookUpGVar (Proxy @(RealMonad h IO)) lookUp
+    lookUp' = realLookupVar (Proxy @(RealMonad h IO)) lookUp
 
 runIOSim ::
      forall s a h. Class.IsTable h
@@ -1715,7 +1715,7 @@ runIOSim action lookUp = ReaderT $ \ !env -> do
         session = envSession env
 
     lookUp' :: Var h x -> Realized (IOSim s) x
-    lookUp' = lookUpGVar (Proxy @(RealMonad h (IOSim s))) lookUp
+    lookUp' = realLookupVar (Proxy @(RealMonad h (IOSim s))) lookUp
 
 -- | @'runRealWithInjectedErrors' _ errsVar merrs action rollback@ runs @action@
 -- with injected errors if available in @merrs@.