Fix warnings

tbidne · Dec 26, 2024 · dad5424 · dad5424
1 parent 5ca1b2a
commit dad5424
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/test/props/Test/Algebra/Additive/AMonoid.hs b/test/props/Test/Algebra/Additive/AMonoid.hs
@@ -4,14 +4,11 @@ module Test.Algebra.Additive.AMonoid (props) where
 
 import Equality (Equality (MkEqExact, MkEqRatio))
 import Gens qualified
-import Hedgehog (Gen, PropertyName, (===))
-import Hedgehog qualified as H
+import Hedgehog (Gen, PropertyName)
 import Numeric.Algebra.Additive.AMonoid (AMonoid (zero))
 import Numeric.Algebra.Additive.ASemigroup (ASemigroup ((.+.)))
-import Numeric.Algebra.Normed (Normed (norm))
 import Test.Tasty (TestName, TestTree)
 import Test.Tasty qualified as T
-import Utils ((<=>))
 import Utils qualified
 
 props :: TestTree