diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-06-13 13:09:04 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-13 13:09:04 +0200 |
commit | 20173c939486ed6e27b8170e94f666d8ae3df152 (patch) | |
tree | 36c02005c3f2a20567388c6291e54bc2e4a4e6db /test | |
parent | 275847827d7550436eaf8cd10969f1430dae821d (diff) |
Rename *LengthSNat to *Rank
Diffstat (limited to 'test')
-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 |