From 086145dfee33e6e198abc148a6375ce929b2c88f Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Thu, 2 Apr 2026 11:54:26 +0200
Subject: Audit remaining uses of KnownNat and SNat patterns

---
 src/Data/Array/Nested/Ranked.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/Data/Array/Nested/Ranked.hs')

diff --git a/src/Data/Array/Nested/Ranked.hs b/src/Data/Array/Nested/Ranked.hs
index 26c9203..2d8b624 100644
--- a/src/Data/Array/Nested/Ranked.hs
+++ b/src/Data/Array/Nested/Ranked.hs
@@ -65,7 +65,7 @@ rindexPartial (Ranked arr) idx =
 -- 'rgeneratePrim'.
 rgenerate :: forall n a. KnownElt a => IShR n -> (IIxR n -> a) -> Ranked n a
 rgenerate sh f
-  | sn@SNat <- shrRank sh
+  | sn <- shrRank sh
   , Dict <- lemKnownReplicate sn
   , Refl <- lemRankReplicate sn
   = Ranked (mgenerate (shxFromShR sh) (f . ixrFromIxX))
@@ -117,11 +117,11 @@ rsumAllPrim (Ranked arr) = msumAllPrim arr
 
 rtranspose :: forall n a. Elt a => PermR -> Ranked n a -> Ranked n a
 rtranspose perm arr
-  | sn@SNat <- rrank arr
+  | sn <- rrank arr
   , Dict <- lemKnownReplicate sn
-  , length perm <= fromIntegral (natVal (Proxy @n))
+  , length perm <= fromSNat' sn
   = rlift sn
-          (\ssh' -> X.transposeUntyped (natSing @n) ssh' perm)
+          (\ssh' -> X.transposeUntyped sn ssh' perm)
           arr
   | otherwise
   = error "Data.Array.Nested.rtranspose: Permutation longer than rank of array"
-- 
cgit v1.3