diff options
Diffstat (limited to 'test/Tests/C.hs')
| -rw-r--r-- | test/Tests/C.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |