From 4cddecca879736adee6c1fe004d7711e92b789c4 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Mon, 9 Feb 2026 17:11:51 +0100 Subject: Odds and ends --- test/Tests/C.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/Tests/C.hs b/test/Tests/C.hs index 4d372e9..2d35cd9 100644 --- a/test/Tests/C.hs +++ b/test/Tests/C.hs @@ -67,7 +67,7 @@ gen_red_empty f = property $ genRank $ \outrankm1@(SNat @nm1) -> do n <- Gen.int (Range.linear 0 20) return (n :$: sht) -- n + 1 guard (0 `elem` (shrToList $ shrTail sh)) - -- traceM ("sh: " ++ show sh ++ " -> " ++ show (product sh)) + -- traceM ("sh: " ++ show sh ++ " -> " ++ show (shrSize sh)) let arr = OR.fromList @(n + 1) @Double (shrToList sh) [] f inrank arr -- cgit v1.2.3-70-g09d2