feat: Loosen bounds to work with GHC 9.6, fix test imports

holmes.cabal

@@ -38,14 +38,14 @@ library
                , Data.JoinSemilattice.Class.Zipping
                , Data.CDCL
 
-  build-depends: base >= 4.12 && < 4.16
-               , containers >= 0.6 && < 0.7
-               , hashable >= 1.3 && < 1.4
-               , hedgehog >= 1.0 && < 1.1
-               , logict >= 0.7 && < 0.8
-               , mtl >= 2.2 && < 2.3
-               , primitive >= 0.7 && < 0.8
-               , transformers >= 0.5 && < 0.6
+  build-depends: base >= 4.12 && < 4.19
+               , containers >= 0.6 && < 0.8
+               , hashable >= 1.3 && < 1.5
+               , hedgehog >= 1.0 && < 1.5
+               , logict >= 0.7 && < 0.9
+               , mtl >= 2.2 && < 2.3.2
+               , primitive >= 0.7 && < 0.10
+               , transformers >= 0.5 && < 0.7
                , unordered-containers >= 0.2 && < 0.3
 
   ghc-options: -Wall -Wextra
@@ -60,13 +60,13 @@ test-suite examples
   main-is:  Main.hs
 
   build-depends: base
-               , hashable >= 1.3 && < 1.4
+               , hashable >= 1.3 && < 1.5
                , holmes
-               , hspec >= 2.7 && < 2.9
+               , hspec >= 2.7 && < 2.12
                , split >= 0.2 && < 0.3
+               , relude >= 0.6 && < 1.3
                , unordered-containers >= 0.2 && < 0.3
-               , relude >= 0.6 && < 1.1
-               , tasty >= 1.2 && < 1.5
+               , tasty >= 1.2 && < 1.6
                , tasty-discover
                , tasty-hspec
 
@@ -87,14 +87,14 @@ test-suite test
   main-is:  Main.hs
 
   build-depends: base
-               , containers >= 0.6 && < 0.7
-               , hashable >= 1.3 && < 1.4
-               , hedgehog >= 1.0 && < 1.1
+               , containers >= 0.6 && < 0.8
+               , hashable >= 1.3 && < 1.5
+               , hedgehog >= 1.0 && < 1.5
+               , hspec >= 2.7 && < 2.12
                , holmes
-               , primitive >= 0.7 && < 0.8
-               , transformers >= 0.5 && < 0.6
-               , tasty >= 1.2 && < 1.5
-               , tasty-discover
+               , primitive >= 0.7 && < 0.10
+               , transformers >= 0.5 && < 0.7
+               , tasty >= 1.2 && < 1.6
                , tasty-hedgehog
                , tasty-hspec
 
@@ -124,9 +124,9 @@ test-suite test
 
 test-suite readme
   build-depends: base
-               , hashable >= 1.3 && < 1.4
+               , hashable >= 1.3 && < 1.5
                , holmes
-               , hspec >= 2.7 && < 2.9
+               , hspec >= 2.7 && < 2.12
   main-is:             README.lhs
   type:                exitcode-stdio-1.0
   default-language:    Haskell2010

test/Test/Data/JoinSemilattice/Defined.hs

@@ -15,7 +15,7 @@ import qualified Test.Data.JoinSemilattice.Class.Fractional as FractionalR
 import qualified Test.Data.JoinSemilattice.Class.Integral as IntegralR
 import qualified Test.Data.JoinSemilattice.Class.Ord as OrdR
 import qualified Test.Data.JoinSemilattice.Class.Sum as SumR
-import Test.Tasty.Hspec (Spec, it, shouldBe)
+import Test.Hspec (Spec, it, shouldBe)
 import qualified Test.Util.Laws as Laws
 
 defined_double :: Gen (Defined Double)

test/Test/Regression/Issue7.hs

@@ -14,7 +14,7 @@ import Data.Function ((&))
 import Data.Hashable (Hashable)
 import Data.Holmes
 import GHC.Generics (Generic)
-import Test.Tasty.Hspec (Spec, describe, it, shouldBe)
+import Test.Hspec (Spec, describe, it, shouldBe)
 
 -------------------------------------------------------------------------------
 -- #7: stack overflow / infinite loop when solving with Intersect instead of