Rename *LengthSNat to *Rank

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