Ported rank1dynamic

Author: LaurentRDC

packages/rank1dynamic/ChangeLog

@@ -1,3 +1,7 @@
+Unreleased
+
+* Ported test suite to use `tasty` rather than `test-framework`.
+
 2024-09-03 Laurent P. René de Cotret <[email protected]> 0.4.2
 
 * Bumped dependency bounds to support GHC 8.10.7 - GHC 9.10.1

packages/rank1dynamic/rank1dynamic.cabal

@@ -50,7 +50,7 @@ Test-Suite TestRank1Dynamic
   Build-Depends:     base >= 4.14 && < 5,
                      HUnit >= 1.2 && < 1.7,
                      rank1dynamic,
-                     test-framework >= 0.6 && < 0.9,
-                     test-framework-hunit >= 0.2.0 && < 0.4
-  default-language:    Haskell2010
+                     tasty >= 1.5 && <1.6,
+                     tasty-hunit >=0.10 && <0.11,
+  default-language:  Haskell2010
   HS-Source-Dirs:    tests

packages/rank1dynamic/tests/test.hs

@@ -2,9 +2,8 @@
 import           Data.Rank1Dynamic
 import           Data.Rank1Typeable
 
-import           Test.Framework
-import           Test.Framework.Providers.HUnit
-import           Test.HUnit                     hiding (Test)
+import           Test.Tasty
+import           Test.Tasty.HUnit
 import           Unsafe.Coerce
 
 funKindStr :: String
@@ -18,9 +17,9 @@ funKindStr = "(->)"
 
 
 main :: IO ()
-main = defaultMain tests
+main = defaultMain (testGroup "rank1dynamic" tests)
 
-tests :: [Test]
+tests :: [TestTree]
 tests =
   [ testGroup "Examples of isInstanceOf"
       [ testCase "CANNOT use a term of type 'Int -> Bool' as 'Int -> Int'" $