From 9faf7fb877119bd52d664940c4326d326b3326fa Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Mon, 1 Dec 2025 17:50:42 +0100 Subject: Don't call continuation-based functions just *FromList --- test/Gen.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Gen.hs') diff --git a/test/Gen.hs b/test/Gen.hs index e665af6..b10e763 100644 --- a/test/Gen.hs +++ b/test/Gen.hs @@ -163,7 +163,7 @@ genPermR n = Gen.shuffle [0 .. n-1] genPerm :: Monad m => SNat n -> (forall p. (IsPermutation p, Rank p ~ n) => Perm p -> PropertyT m r) -> PropertyT m r genPerm n@SNat k = do list <- forAll $ genPermR (fromSNat' n) - permFromList list $ \perm -> do + permFromListCont list $ \perm -> do case permCheckPermutation perm $ case sameNat' (permRank perm) n of Just Refl -> Just (k perm) -- cgit v1.2.3-70-g09d2