From bda0d3e9c1752d35488665ec19d39904f0dc4b49 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 13 May 2025 19:58:12 +0200
Subject: Revert some stylistic changes

https://x.com/comerijn/status/1257804634833420292
---
 test/Tests/C.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test/Tests')

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)
     ]
   ]
-- 
cgit v1.2.3-70-g09d2