Upgrade tasty-discover

Author: newhoggy

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-22T20:18:27Z
+  , hackage.haskell.org 2025-08-10T03:21:06Z
   , cardano-haskell-packages 2025-07-14T17:31:29Z
 
 packages:

cardano-cli/cardano-cli.cabal

@@ -449,6 +449,7 @@ test-suite cardano-cli-golden
     regex-tdfa,
     rio,
     tasty,
+    tasty-discover,
     tasty-hedgehog,
     text,
 

cardano-cli/test/cardano-cli-golden/Test/Golden/Help.hs

@@ -5,7 +5,7 @@
 
 module Test.Golden.Help
   ( hprop_golden_HelpAll
-  , test_golden_HelpCmds
+  , tasty_golden_HelpCmds
   )
 where
 
@@ -32,6 +32,7 @@ import Hedgehog qualified as H
 import Hedgehog.Extras.Stock.OS (isWin32)
 import Hedgehog.Extras.Test qualified as H
 import Test.Tasty (TestTree, testGroup)
+import Test.Tasty.Discover (Flavored, flavored, platform)
 import Test.Tasty.Hedgehog (testProperty)
 
 ansiRegex :: Regex
@@ -104,50 +105,48 @@ stripMetavar =
 selectCmd :: Text -> Maybe Text
 selectCmd = fmap stripMetavar . selectAndDropPrefix "Usage: cardano-cli "
 
-test_golden_HelpCmds :: IO TestTree
-test_golden_HelpCmds =
+tasty_golden_HelpCmds :: Flavored (IO TestTree)
+tasty_golden_HelpCmds =
   -- These tests are not run on Windows because the cardano-cli usage
   -- output is slightly different on Windows. For example it uses
   -- "cardano-cli.exe" instead of "cardano-cli".
-  if isWin32
-    then return $ testGroup "help-commands" []
-    else do
-      helpText <-
-        filterAnsi
-          <$> readProcess
-            "cardano-cli"
-            [ "help"
-            ]
-            ""
-
-      let lines = Text.lines (Text.pack helpText)
-          usages = [] : nub (List.filter (not . null) (fmap extractCmd $ maybeToList . selectCmd =<< lines))
-
-      return $
-        testGroup
-          "help-commands"
-          [ testProperty
-              (subPath usage)
-              ( watchdogProp . propertyOnce $ do
-                  H.noteShow_ usage
-                  let expectedCmdHelpFp =
-                        "test/cardano-cli-golden/files/golden" </> subPath usage
-
-                  (exitCode, stdout, stderr) <- H.execDetailCardanoCLI (Text.unpack <$> usage <> ["--help"])
-                  let cmdHelp = filterAnsi stdout
-
-                  case exitCode of
-                    ExitSuccess ->
-                      H.diffVsGoldenFile cmdHelp expectedCmdHelpFp
-                    ExitFailure _ -> do
-                      H.note_ "Failed to generate correct help text"
-                      H.noteShow_ exitCode
-                      H.note_ $ filterAnsi stderr
-                      H.note_ cmdHelp -- stdout
-                      H.failure
-              )
-          | usage <- usages
+  flavored (platform "!windows") $ do
+    helpText <-
+      filterAnsi
+        <$> readProcess
+          "cardano-cli"
+          [ "help"
           ]
+          ""
+
+    let lines = Text.lines (Text.pack helpText)
+        usages = [] : nub (List.filter (not . null) (fmap extractCmd $ maybeToList . selectCmd =<< lines))
+
+    return $
+      testGroup
+        "help-command"
+        [ testProperty
+            (subPath usage)
+            ( watchdogProp . propertyOnce $ do
+                H.noteShow_ usage
+                let expectedCmdHelpFp =
+                      "test/cardano-cli-golden/files/golden" </> subPath usage
+
+                (exitCode, stdout, stderr) <- H.execDetailCardanoCLI (Text.unpack <$> usage <> ["--help"])
+                let cmdHelp = filterAnsi stdout
+
+                case exitCode of
+                  ExitSuccess ->
+                    H.diffVsGoldenFile cmdHelp expectedCmdHelpFp
+                  ExitFailure _ -> do
+                    H.note_ "Failed to generate correct help text"
+                    H.noteShow_ exitCode
+                    H.note_ $ filterAnsi stderr
+                    H.note_ cmdHelp -- stdout
+                    H.failure
+            )
+        | usage <- usages
+        ]
  where
   subPath :: [Text] -> FilePath
   subPath [] =

cardano-cli/test/cardano-cli-test/Test/Cli/Run/Hash.hs

@@ -1,9 +1,12 @@
+{-# LANGUAGE FlexibleContexts #-}
+
 {- HLINT ignore "Use camelCase" -}
 
 module Test.Cli.Run.Hash where
 
 import Control.Monad (void)
 import Control.Monad.Catch (MonadCatch)
+import Control.Monad.Trans.Control (MonadBaseControl)
 import Control.Monad.Trans.Resource (MonadResource)
 import GHC.Stack
 
@@ -24,7 +27,14 @@ hprop_hash_trip =
 -- Test that @cardano-cli hash --text > file1@ and
 -- @cardano-cli --text --out-file file2@ yields
 -- similar @file1@ and @file2@ files.
-hash_trip_fun :: (MonadTest m, MonadCatch m, MonadResource m, HasCallStack) => String -> m ()
+hash_trip_fun
+  :: MonadBaseControl IO m
+  => MonadTest m
+  => MonadCatch m
+  => MonadResource m
+  => HasCallStack
+  => String
+  -> m ()
 hash_trip_fun input =
   H.moduleWorkspace "tmp" $ \tempDir -> do
     hashFile <- noteTempFile tempDir "hash.txt"