diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-01 17:50:42 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-01 18:14:40 +0100 |
| commit | 9faf7fb877119bd52d664940c4326d326b3326fa (patch) | |
| tree | 58063f871b11a4dd5089dca28bb561bc322a875f /test/Gen.hs | |
| parent | 0028b655341069e83db6e0bfde01dea1c696f5aa (diff) | |
Don't call continuation-based functions just *FromList
Diffstat (limited to 'test/Gen.hs')
| -rw-r--r-- | test/Gen.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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) |