diff options
Diffstat (limited to 'test/Gen.hs')
| -rw-r--r-- | test/Gen.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Gen.hs b/test/Gen.hs index 559fecf..695b83f 100644 --- a/test/Gen.hs +++ b/test/Gen.hs @@ -101,7 +101,7 @@ genReplicatedShR = \m n -> do where injectOnes :: m <= n => SNat n -> IShR m -> IShR m -> Gen (IShR n, IShR n) injectOnes n@SNat shOnes sh - | m@SNat <- shrLengthSNat sh + | m@SNat <- shrRank sh = case cmpNat n m of LTI -> error "unreachable" EQI -> return (shOnes, sh) @@ -161,7 +161,7 @@ genPerm n@SNat k = do list <- forAll $ genPermR (fromSNat' n) permFromList list $ \perm -> do case permCheckPermutation perm $ - case sameNat' (permLengthSNat perm) n of + case sameNat' (permRank perm) n of Just Refl -> Just (k perm) Nothing -> Nothing of |