Replace liftIO with liftIOAnnotated

Jimbo4350 · Jimbo4350 · commit 4a2c1dc63bbe · 2025-11-06T14:29:44.000-04:00
diff --git a/bench/locli/locli.cabal b/bench/locli/locli.cabal
@@ -212,7 +212,7 @@ test-suite test-locli
   build-depends:        cardano-prelude
                       , containers
                       , hedgehog
-                      , hedgehog-extras ^>= 0.8
+                      , hedgehog-extras ^>= 0.9
                       , locli
                       , text
 
diff --git a/cabal.project b/cabal.project
@@ -13,7 +13,7 @@ repository cardano-haskell-packages
 -- See CONTRIBUTING for information about these, including some Nix commands
 -- you need to run if you change them
 index-state:
-  , hackage.haskell.org 2025-06-24T21:06:59Z
+  , hackage.haskell.org 2025-06-27T07:48:39Z
   , cardano-haskell-packages 2025-09-18T12:21:32Z
 
 packages:
@@ -60,6 +60,7 @@ package plutus-scripts-bench
 
 allow-newer:
   , katip:Win32
+  , hedgehog-extras
 
 if impl (ghc >= 9.12)
   allow-newer:
diff --git a/cardano-node-chairman/cardano-node-chairman.cabal b/cardano-node-chairman/cardano-node-chairman.cabal
@@ -75,7 +75,7 @@ test-suite chairman-tests
                       , data-default-class
                       , filepath
                       , hedgehog
-                      , hedgehog-extras ^>= 0.8
+                      , hedgehog-extras ^>= 0.9
                       , network
                       , process
                       , random
diff --git a/cardano-node/cardano-node.cabal b/cardano-node/cardano-node.cabal
@@ -265,7 +265,7 @@ test-suite cardano-node-test
                       , filepath
                       , hedgehog
                       , hedgehog-corpus
-                      , hedgehog-extras ^>= 0.8
+                      , hedgehog-extras ^>= 0.9
                       , iproute
                       , mtl
                       , ouroboros-consensus
diff --git a/cardano-testnet/cardano-testnet.cabal b/cardano-testnet/cardano-testnet.cabal
@@ -71,7 +71,7 @@ library
                       , extra
                       , filepath
                       , hedgehog
-                      , hedgehog-extras ^>= 0.8
+                      , hedgehog-extras ^>= 0.9
                       , http-conduit
                       , lens-aeson
                       , microlens
diff --git a/cardano-testnet/src/Testnet/Components/Configuration.hs b/cardano-testnet/src/Testnet/Components/Configuration.hs
@@ -227,7 +227,7 @@ createSPOGenesisAndFiles
     [  inputGenesisShelleyFp, inputGenesisAlonzoFp, inputGenesisConwayFp
      , tempAbsPath </> "byron.genesis.spec.json" -- Created by create-testnet-data
     ]
-    (\fp -> liftIO $ whenM (System.doesFileExist fp) (System.removeFile fp))
+    (\fp -> liftIOAnnotated $ whenM (System.doesFileExist fp) (System.removeFile fp))
 
   return genesisShelleyDir
   where
diff --git a/cardano-testnet/src/Testnet/Components/Query.hs b/cardano-testnet/src/Testnet/Components/Query.hs
@@ -260,7 +260,7 @@ getEpochStateView nodeConfigFile socketPath = withFrozenCallStack $ do
   epochStateView <- H.evalIO $ newIORef Nothing
   void . asyncRegister_ . runExceptT . foldEpochState nodeConfigFile socketPath QuickValidation (EpochNo maxBound) Nothing
     $ \epochState slotNumber blockNumber -> do
-        liftIO . writeIORef epochStateView $ Just (epochState, slotNumber, blockNumber)
+        liftIOAnnotated . writeIORef epochStateView $ Just (epochState, slotNumber, blockNumber)
         pure ConditionNotMet
   pure $ EpochStateView nodeConfigFile socketPath epochStateView
 
diff --git a/cardano-testnet/src/Testnet/Ping.hs b/cardano-testnet/src/Testnet/Ping.hs
@@ -65,7 +65,7 @@ pingNode :: MonadIO m
          => TestnetMagic -- ^ testnet magic
          -> IO.Sprocket  -- ^ node sprocket
          -> m (Either PingClientError ()) -- ^ '()' means success
-pingNode networkMagic sprocket = liftIO $ bracket
+pingNode networkMagic sprocket = liftIOAnnotated $ bracket
   (Socket.socket (Socket.addrFamily peer) Socket.Stream Socket.defaultProtocol)
   Socket.close
   (\sd -> handle (pure . Left . PceException) $ withTimeoutSerial $ \timeoutfn -> do
@@ -143,7 +143,7 @@ waitForSprocket :: MonadIO m
                 -> MT.DiffTime -- ^ interval
                 -> IO.Sprocket
                 -> m (Either IOException ())
-waitForSprocket timeout interval sprocket = liftIO $ do
+waitForSprocket timeout interval sprocket = liftIOAnnotated $ do
   lastResult <- newIORef (Right ())
   _ <- MT.timeout timeout $ loop lastResult
   readIORef lastResult
@@ -158,7 +158,7 @@ waitForSprocket timeout interval sprocket = liftIO $ do
 
 -- | Check if the sprocket can be connected to. Returns an exception thrown during the connection attempt.
 checkSprocket :: MonadIO m => IO.Sprocket -> m (Either IOException ())
-checkSprocket sprocket = liftIO $ do
+checkSprocket sprocket = liftIOAnnotated $ do
   let AddrInfo{addrFamily, addrSocketType, addrProtocol, addrAddress} = sprocketToAddrInfo sprocket
   bracket (Socket.socket addrFamily addrSocketType addrProtocol) Socket.close $ \sock -> do
     -- Capture only synchronous exceptions from the connection attempt.
@@ -179,10 +179,10 @@ waitForPortClosed
   -> MT.DiffTime -- ^ check interval
   -> PortNumber
   -> m Bool -- ^ 'True' if port is closed, 'False' if timeout was reached before that
-waitForPortClosed timeout interval portNumber = liftIO $ do
+waitForPortClosed timeout interval portNumber = liftIOAnnotated $ do
   let retryPolicy = R.constantDelay (round @Double $ realToFrac interval) <> R.limitRetries (ceiling $ toRational timeout / toRational interval)
   fmap not . R.retrying retryPolicy (const pure) $ \_ ->
-    liftIO (IO.isPortOpen (fromIntegral portNumber))
+    liftIOAnnotated (IO.isPortOpen (fromIntegral portNumber))
 
 data PingClientError
   = PceDecodingError
diff --git a/cardano-testnet/src/Testnet/Process/Cli/DRep.hs b/cardano-testnet/src/Testnet/Process/Cli/DRep.hs
@@ -365,7 +365,7 @@ makeActivityChangeProposal execConfig epochStateView ceo work
   baseDir <- H.createDirectoryIfMissing work
 
   let proposalAnchorDataIpfsHash = "QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz"
-  proposalAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  proposalAnchorFile <- H.noteM $ liftIOAnnotated $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
 
   proposalAnchorDataHash <- execCli' execConfig
     [ "hash", "anchor-data", "--file-binary", proposalAnchorFile
diff --git a/cardano-testnet/src/Testnet/Process/Run.hs b/cardano-testnet/src/Testnet/Process/Run.hs
@@ -227,7 +227,7 @@ initiateProcess
   -> ExceptT ProcessError m (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle, ReleaseKey)
 initiateProcess cp = do
   (mhStdin, mhStdout, mhStderr, hProcess)
-    <- handlesExceptT resourceAndIOExceptionHandlers . liftIO $ IO.createProcess cp
+    <- handlesExceptT resourceAndIOExceptionHandlers . liftIOAnnotated $ IO.createProcess cp
 
   releaseKey <- handlesExceptT resourceAndIOExceptionHandlers
                   . register $ IO.cleanupProcess (mhStdin, mhStdout, mhStderr, hProcess)
diff --git a/cardano-testnet/src/Testnet/Property/Run.hs b/cardano-testnet/src/Testnet/Property/Run.hs
@@ -107,14 +107,14 @@ testnetProperty env runTn =
             -- Happens when the environment has previously been created by the user
             H.note_ $ "Reusing " <> absUserOutputDir
           else do
-            liftIO $ createDirectory absUserOutputDir
+            liftIOAnnotated $ createDirectory absUserOutputDir
             H.note_ $ "Created " <> absUserOutputDir
           conf <- mkConf absUserOutputDir
           forkAndRunTestnet conf
   where
     forkAndRunTestnet conf = do
       -- Fork a thread to keep alive indefinitely any resources allocated by testnet.
-      void $ H.evalM . liftResourceT . resourceForkIO . forever . liftIO $ IO.threadDelay 10000000
+      void $ H.evalM . liftResourceT . resourceForkIO . forever . liftIOAnnotated $ IO.threadDelay 10000000
       void $ runTn conf
       H.failure -- Intentional failure to force failure report
 
diff --git a/cardano-testnet/src/Testnet/Runtime.hs b/cardano-testnet/src/Testnet/Runtime.hs
@@ -123,8 +123,8 @@ startNode tp node ipv4 port _testnetMagic nodeCmd = GHC.withFrozenCallStack $ do
       socketDir = makeSocketDir tp
       logDir = makeLogDir tp
 
-  liftIO $ createDirectoryIfMissingNew_ $ logDir </> node
-  void . liftIO $ createSubdirectoryIfMissingNew tempBaseAbsPath (socketDir </> node)
+  liftIOAnnotated $ createDirectoryIfMissingNew_ $ logDir </> node
+  void . liftIOAnnotated $ createSubdirectoryIfMissingNew tempBaseAbsPath (socketDir </> node)
 
   let nodeStdoutFile = logDir </> node </> "stdout.log"
       nodeStderrFile = logDir </> node </> "stderr.log"
@@ -154,7 +154,7 @@ startNode tp node ipv4 port _testnetMagic nodeCmd = GHC.withFrozenCallStack $ do
     -- The port number if it is obtained using 'H.randomPort', it is firstly bound to and then closed. The closing
     -- and release in the operating system is done asynchronously and can be slow. Here we wait until the port
 
-    isClosed <- liftIOAnnotated $ Ping.waitForPortClosed 30 0.1 port
+    isClosed <- liftIOAnnotated $ Ping.waitForPortClosed 45 0.1 port
     unless isClosed $ 
       throwString $ "Port is still in use after 30 seconds before starting node: " <> show port 
 
@@ -169,7 +169,7 @@ startNode tp node ipv4 port _testnetMagic nodeCmd = GHC.withFrozenCallStack $ do
     -- We force the evaluation of initiateProcess so we can be sure that
     -- the process has started. This allows us to read stderr in order
     -- to fail early on errors generated from the cardano-node binary.
-    pid <- liftIO (IO.getPid hProcess)
+    pid <- liftIOAnnotated (IO.getPid hProcess)
       >>= hoistMaybe (NodeExecutableError $ "startNode:" <+> pretty node <+> "'s process did not start.")
 
     -- We then log the pid in the temp dir structure.
@@ -216,7 +216,7 @@ startNode tp node ipv4 port _testnetMagic nodeCmd = GHC.withFrozenCallStack $ do
     closeHandlesOnError :: MonadIO m => [IO.Handle] -> ExceptT e m a -> ExceptT e m a
     closeHandlesOnError handles action =
       catchE action $ \e -> do
-        liftIO $ mapM_ IO.hClose handles
+        liftIOAnnotated $ mapM_ IO.hClose handles
         throwE e
 
     -- Sometimes even when we close the files manually, the operating system still holds the lock for some
@@ -239,7 +239,7 @@ startNode tp node ipv4 port _testnetMagic nodeCmd = GHC.withFrozenCallStack $ do
               path' = if n > 0
                          then path <> "-" <> show n <> extension
                          else fullPath
-          r <- fmap (first FileRelatedFailure) . try . liftIO $ IO.openFile path' mode
+          r <- fmap (first FileRelatedFailure) . try . liftIOAnnotated $ IO.openFile path' mode
           case r of
             Right h -> pure h
             Left e
@@ -321,22 +321,22 @@ startLedgerNewEpochStateLogging testnetRuntime tmpWorkspace = withFrozenCallStac
     handler outputFp diffFp anes@(AnyNewEpochState !sbe !nes _) _ (BlockNo blockNo) = handleException $ do
       let prettyNes = shelleyBasedEraConstraints sbe (encodePretty nes)
           blockLabel = "#### BLOCK " <> show blockNo <> " ####"
-      liftIO . BSC.appendFile outputFp $ BSC.unlines [BSC.pack blockLabel, prettyNes, ""]
+      liftIOAnnotated . BSC.appendFile outputFp $ BSC.unlines [BSC.pack blockLabel, prettyNes, ""]
 
       -- store epoch state for logging of differences
       mPrevEpochState <- get
       put (Just anes)
       forM_ mPrevEpochState $ \(AnyNewEpochState sbe' pnes _) -> do
         let prettyPnes = shelleyBasedEraConstraints sbe' (encodePretty pnes)
             difference = calculateEpochStateDiff prettyPnes prettyNes
-        liftIO . appendFile diffFp $ unlines [blockLabel, difference, ""]
+        liftIOAnnotated . appendFile diffFp $ unlines [blockLabel, difference, ""]
 
       pure ConditionNotMet
       where
         -- | Handle all sync exceptions and log them into the log file. We don't want to fail the test just
         -- because logging has failed.
         handleException = handle $ \(e :: SomeException) -> do
-          liftIO $ appendFile outputFp $ "Ledger new epoch logging failed - caught exception:\n"
+          liftIOAnnotated $ appendFile outputFp $ "Ledger new epoch logging failed - caught exception:\n"
             <> displayException e <> "\n"
           pure ConditionMet
 
diff --git a/cardano-testnet/src/Testnet/Start/Cardano.hs b/cardano-testnet/src/Testnet/Start/Cardano.hs
@@ -460,11 +460,11 @@ retryOnAddressInUseError act = withFrozenCallStack $ go maximumTimeout retryTime
       | timeout <= 0 = withFrozenCallStack $ do
         act
       | otherwise = withFrozenCallStack $ do
-        !time <- liftIO DTC.getCurrentTime
+        !time <- liftIOAnnotated DTC.getCurrentTime
         catchError act $ \case
           NodeAddressAlreadyInUseError _ -> do
-            liftIO $ threadDelay (round $ interval * 1_000_000)
-            !time' <- liftIO DTC.getCurrentTime
+            liftIOAnnotated $ threadDelay (round $ interval * 1_000_000)
+            !time' <- liftIOAnnotated DTC.getCurrentTime
             let elapsedTime = time' `diffUTCTime` time
                 newTimeout = timeout - elapsedTime
             go newTimeout interval
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Plutus/CostCalculation.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Plutus/CostCalculation.hs
@@ -83,7 +83,7 @@ hprop_ref_plutus_cost_calculation = integrationRetryWorkspace 2 "ref plutus scri
 
   refScriptSizeWork <- H.createDirectoryIfMissing $ work </> "ref-script-publish"
   plutusV3Script <-
-    File <$> liftIO (makeAbsolute "test/cardano-testnet-test/files/plutus/v3/always-succeeds.plutus")
+    File <$> liftIOAnnotated (makeAbsolute "test/cardano-testnet-test/files/plutus/v3/always-succeeds.plutus")
 
   let scriptPublishUTxOAmount = 10_000_000
 
@@ -231,7 +231,7 @@ hprop_included_plutus_cost_calculation = integrationRetryWorkspace 2 "included p
 
   includedScriptLockWork <- H.createDirectoryIfMissing $ work </> "included-script-lock"
   plutusV3Script <-
-    File <$> liftIO (makeAbsolute "test/cardano-testnet-test/files/plutus/v3/always-succeeds.plutus")
+    File <$> liftIOAnnotated (makeAbsolute "test/cardano-testnet-test/files/plutus/v3/always-succeeds.plutus")
 
   let includedScriptLockAmount = 10_000_000
       enoughAmountForFees = 2_000_000 -- Needs to be more than min ada
@@ -341,12 +341,12 @@ hprop_included_simple_script_cost_calculation = integrationRetryWorkspace 2 "inc
 
   -- We write a simple script that allows any of the two payment keys to spend the money
 
-  addrHash1 <- H.evalEitherM $ liftIO $ runExceptT $ paymentKeyInfoHash wallet0
-  addrHash2 <- H.evalEitherM $ liftIO $ runExceptT $ paymentKeyInfoHash wallet1
+  addrHash1 <- H.evalEitherM $ liftIOAnnotated $ runExceptT $ paymentKeyInfoHash wallet0
+  addrHash2 <- H.evalEitherM $ liftIOAnnotated $ runExceptT $ paymentKeyInfoHash wallet1
 
   simpleScriptLockWork <- H.createDirectoryIfMissing $ work </> "simple-script-lock"
   let simpleScript = File $ simpleScriptLockWork </> "simple-script.json"
-  liftIO $ encodeFile (unFile simpleScript) $ generateSimpleAnyKeyScript [addrHash1, addrHash2]
+  liftIOAnnotated $ encodeFile (unFile simpleScript) $ generateSimpleAnyKeyScript [addrHash1, addrHash2]
 
   -- We now submit a transaction to the script address
   let lockedAmount = 10_000_000
@@ -443,7 +443,7 @@ hprop_included_simple_script_cost_calculation = integrationRetryWorkspace 2 "inc
 
   paymentKeyInfoHash :: PaymentKeyInfo -> ExceptT String IO Text
   paymentKeyInfoHash wallet = do
-    vkBs <- liftIO $ BS.readFile (unFile $ verificationKey $ paymentKeyInfoPair wallet)
+    vkBs <- liftIOAnnotated $ BS.readFile (unFile $ verificationKey $ paymentKeyInfoPair wallet)
     svk <- liftEither $ first show $ deserialiseAnyVerificationKey vkBs
     return $
       decodeLatin1 $
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Query.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Query.hs
@@ -330,7 +330,7 @@ hprop_cli_queries = integrationWorkspace "cli-queries" $ \tempAbsBasePath' -> H.
       do
         -- Set up files and vars
         refScriptSizeWork <- H.createDirectoryIfMissing $ work </> "ref-script-size-test"
-        plutusV3Script <- File <$> liftIO (makeAbsolute "test/cardano-testnet-test/files/plutus/v3/always-succeeds.plutus")
+        plutusV3Script <- File <$> liftIOAnnotated (makeAbsolute "test/cardano-testnet-test/files/plutus/v3/always-succeeds.plutus")
         let transferAmount = Coin 10_000_000
         -- Submit a transaction to publish the reference script
         txBody <- mkSpendOutputsOnlyTx execConfig epochStateView sbe refScriptSizeWork "tx-body" wallet1
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/CommitteeAddNew.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/CommitteeAddNew.hs
@@ -108,7 +108,7 @@ hprop_constitutional_committee_add_new = integrationWorkspace "constitutional-co
   gov <- H.createDirectoryIfMissing $ work </> "governance"
 
   let proposalAnchorDataIpfsHash = "QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz"
-  proposalAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  proposalAnchorFile <- H.noteM $ liftIOAnnotated $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
 
   updateCommitteeFp <- H.note $ gov </> "update-cc.action"
 
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/InfoAction.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/InfoAction.hs
@@ -87,7 +87,7 @@ hprop_ledger_events_info_action = integrationRetryWorkspace 2 "info-hash" $ \tem
   gov <- H.createDirectoryIfMissing $ work </> "governance"
 
   let proposalAnchorDataIpfsHash = "QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz"
-  proposalAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  proposalAnchorFile <- H.noteM $ liftIOAnnotated $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
 
   infoActionFp <- H.note $ work </> gov </> "info.action"
 
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/ProposeNewConstitution.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/ProposeNewConstitution.hs
@@ -110,9 +110,9 @@ hprop_ledger_events_propose_new_constitution = integrationRetryWorkspace 2 "prop
   constitutionActionFp <- H.note $ gov </> "constitution.action"
 
   let proposalAnchorDataIpfsHash = "QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz"
-  proposalAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  proposalAnchorFile <- H.noteM $ liftIOAnnotated $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
   let constitutionAnchorDataIpfsHash = "QmXGkenkhh3NsotVwbNGToGsPuvJLgRT9aAz5ToyKAqdWP"
-  constitutionAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  constitutionAnchorFile <- H.noteM $ liftIOAnnotated $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
 
   constitutionHash <- execCli' execConfig
     [ "hash", "anchor-data", "--file-binary", constitutionAnchorFile
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/Transaction/HashMismatch.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/Transaction/HashMismatch.hs
@@ -26,6 +26,7 @@ import           Test.Cardano.CLI.Hash (serveFilesWhile, tamperBase16Hash)
 import           Testnet.Components.Query
 import           Testnet.Process.Cli.Keys
 import           Testnet.Process.Run (addEnvVarsToConfig, execCli', execCliAny, mkExecConfig)
+import           Testnet.Process.RunIO (liftIOAnnotated)
 import           Testnet.Property.Util (integrationRetryWorkspace)
 import           Testnet.Start.Types
 import           Testnet.Types
@@ -75,7 +76,7 @@ hprop_transaction_build_wrong_hash = integrationRetryWorkspace 2 "wrong-hash" $
   gov <- H.createDirectoryIfMissing $ work </> "governance"
 
   let proposalAnchorDataIpfsHash = "QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz"
-  proposalAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  proposalAnchorFile <- H.noteM $ liftIOAnnotated $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
 
   infoActionFp <- H.note $ work </> gov </> "info.action"
 
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/TreasuryWithdrawal.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/TreasuryWithdrawal.hs
@@ -43,6 +43,7 @@ import           Testnet.Process.Cli.Keys (cliStakeAddressKeyGen)
 import           Testnet.Process.Cli.SPO (createStakeKeyRegistrationCertificate)
 import           Testnet.Process.Cli.Transaction (retrieveTransactionId)
 import           Testnet.Process.Run (addEnvVarsToConfig, execCli', mkExecConfig)
+import           Testnet.Process.RunIO (liftIOAnnotated)
 import           Testnet.Property.Util (integrationRetryWorkspace)
 import           Testnet.Start.Types
 import           Testnet.Types
@@ -91,7 +92,7 @@ hprop_ledger_events_treasury_withdrawal = integrationRetryWorkspace 2  "treasury
   gov <- H.createDirectoryIfMissing $ work </> "governance"
 
   let proposalAnchorDataIpfsHash = "QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz"
-  proposalAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  proposalAnchorFile <- H.noteM $ liftIOAnnotated $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
 
   treasuryWithdrawalActionFp <- H.note $ work </> gov </> "treasury-withdrawal.action"
 

Original file line number	Diff line number	Diff line change
`@@ -227,7 +227,7 @@ createSPOGenesisAndFiles`
`227`	`227`	`[ inputGenesisShelleyFp, inputGenesisAlonzoFp, inputGenesisConwayFp`
`228`	`228`	`, tempAbsPath </> "byron.genesis.spec.json" -- Created by create-testnet-data`
`229`	`229`	`]`
`230`		`- (\fp -> liftIO $ whenM (System.doesFileExist fp) (System.removeFile fp))`
	`230`	`+ (\fp -> liftIOAnnotated $ whenM (System.doesFileExist fp) (System.removeFile fp))`
`231`	`231`
`232`	`232`	`return genesisShelleyDir`
`233`	`233`	`where`