diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-05-13 19:58:12 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-13 19:58:12 +0200 |
| commit | bda0d3e9c1752d35488665ec19d39904f0dc4b49 (patch) | |
| tree | 9c7035ccfe18a45a789060371606cad045603618 /test/Tests/C.hs | |
| parent | 0c993d875a7cb9bace8aea1ef6def200de6b7d51 (diff) | |
Revert some stylistic changes
https://x.com/comerijn/status/1257804634833420292
Diffstat (limited to 'test/Tests/C.hs')
| -rw-r--r-- | test/Tests/C.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/Tests/C.hs b/test/Tests/C.hs index 1480491..4861eb1 100644 --- a/test/Tests/C.hs +++ b/test/Tests/C.hs @@ -62,7 +62,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 (elem 0 (toList (shrTail sh))) + guard (0 `elem` toList (shrTail sh)) -- traceM ("sh: " ++ show sh ++ " -> " ++ show (product sh)) let arr = OR.fromList @(n + 1) @Double (toList sh) [] let rarr = rfromOrthotope inrank arr @@ -140,7 +140,7 @@ tests = testGroup "C" (\Refl (n :$: _) -> do lo <- Gen.integral (Range.constant 0 (n-1)) len <- Gen.integral (Range.constant 0 (n-lo)) return [(lo, len)]) - (const OR.slice) + (\_ -> OR.slice) ,testProperty "slice nD" $ prop_negate_with (\k -> genRank (k (Const ()))) (\_ sh -> do let genPair n = do lo <- Gen.integral (Range.constant 0 (n-1)) @@ -148,6 +148,6 @@ tests = testGroup "C" return (lo, len) pairs <- mapM genPair (toList sh) return pairs) - (const OR.slice) + (\_ -> OR.slice) ] ] |