aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/Gen.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Gen.hs b/test/Gen.hs
index 19c50c8..29dffb2 100644
--- a/test/Gen.hs
+++ b/test/Gen.hs
@@ -33,6 +33,8 @@ import System.Random qualified as Random
import Util
+-- | Generates zero with small probability, because there's typically only one
+-- interesting case for 0 anyway.
genRank :: Monad m => (forall n. SNat n -> PropertyT m ()) -> PropertyT m ()
genRank k = do
rank <- forAll $ Gen.frequency [(1, return 0)