aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-06-13 13:09:04 +0200
committerTom Smeding <tom@tomsmeding.com>2024-06-13 13:09:04 +0200
commit20173c939486ed6e27b8170e94f666d8ae3df152 (patch)
tree36c02005c3f2a20567388c6291e54bc2e4a4e6db /test
parent275847827d7550436eaf8cd10969f1430dae821d (diff)
Rename *LengthSNat to *Rank
Diffstat (limited to 'test')
-rw-r--r--test/Gen.hs4
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