Make tests run in Property (ResourceT IO)

IntersectMBO · Dec 24, 2024 · 4bc2b8e · 4bc2b8e
1 parent 252cd14
commit 4bc2b8e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cardano-cli/test/cardano-cli-golden/Test/Golden/Byron/Tx.hs b/cardano-cli/test/cardano-cli-golden/Test/Golden/Byron/Tx.hs
@@ -67,14 +67,14 @@ hprop_byronTx = propertyOnce $ H.moduleWorkspace "tmp" $ \tempDir -> do
 
   compareByronTxs createdTx expectedTx
 
-getTxByteString :: (MonadTest m, HasCallStack) => FilePath -> m (ATxAux ByteString)
+getTxByteString :: (MonadTest m, MonadIO m, HasCallStack) => FilePath -> m (ATxAux ByteString)
 getTxByteString txFp = do
   eATxAuxBS <- liftIO . runExceptT $ readByronTx $ File txFp
   case eATxAuxBS of
     Left err -> failWith Nothing . docToString $ renderByronTxError err
     Right aTxAuxBS -> return aTxAuxBS
 
-compareByronTxs :: (MonadTest m, HasCallStack) => FilePath -> FilePath -> m ()
+compareByronTxs :: (MonadTest m, MonadIO m, HasCallStack) => FilePath -> FilePath -> m ()
 compareByronTxs createdTx expectedTx = do
   createdATxAuxBS <- getTxByteString createdTx
   expectedATxAuxBS <- getTxByteString expectedTx