diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-06-30 00:36:58 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-06-30 00:36:58 +0200 |
| commit | 6dbc6037ba7a633318ef81fef02affb78ff8812c (patch) | |
| tree | f0f553a40522a13dd958cb6a834c7c1128c50e38 /test/Tests/C.hs | |
| parent | 96ec7003f054333692ab18d17659accf6b0fef6f (diff) | |
Apply a small fraction of hlint hints
Diffstat (limited to 'test/Tests/C.hs')
| -rw-r--r-- | test/Tests/C.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Tests/C.hs b/test/Tests/C.hs index 6881cd4..9567393 100644 --- a/test/Tests/C.hs +++ b/test/Tests/C.hs @@ -24,7 +24,7 @@ import Data.Array.Nested.Types (fromSNat') import Hedgehog import Hedgehog.Gen qualified as Gen -import Hedgehog.Internal.Property (forAllT, LabelName (..)) +import Hedgehog.Internal.Property (LabelName(..), forAllT) import Hedgehog.Range qualified as Range import Test.Tasty import Test.Tasty.Hedgehog @@ -65,7 +65,7 @@ prop_sum_empty = property $ genRank $ \outrankm1@(SNat @nm1) -> do sht <- shuffleShR (0 :$: shtt) -- n n <- Gen.int (Range.linear 0 20) return (n :$: sht) -- n + 1 - guard (0 `elem` toList (shrTail sh)) + guard (0 `elem` shrTail sh) -- traceM ("sh: " ++ show sh ++ " -> " ++ show (product sh)) let arr = OR.fromList @(n + 1) @Double (toList sh) [] let rarr = rfromOrthotope inrank arr |