diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-09 17:11:51 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-18 14:23:02 +0100 |
| commit | 4cddecca879736adee6c1fe004d7711e92b789c4 (patch) | |
| tree | 5feb9860c45b52fef4f92acec6af8988e975dfbd /test/Tests | |
| parent | b03bc8cc8205369deddd6e4a9e2d62042c7af7ad (diff) | |
Odds and ends
Diffstat (limited to 'test/Tests')
| -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 |