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/Shaped.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/Data/Array/Nested/Shaped.hs b/src/Data/Array/Nested/Shaped.hs
index 62867a1..f1636c5 100644
--- a/src/Data/Array/Nested/Shaped.hs
+++ b/src/Data/Array/Nested/Shaped.hs
@@ -247,7 +247,7 @@ sreplicatePrim :: forall sh a. PrimElt a => ShS sh -> a -> Shaped sh a
 sreplicatePrim sh x = sfromPrimitive (sreplicatePrimP sh x)
 
 sslice :: Elt a => SNat i -> SNat n -> Shaped (i + n + k : sh) a -> Shaped (n : sh) a
-sslice i n@SNat arr =
+sslice i n arr =
   let _ :$$ sh = sshape arr
   in slift (n :$$ sh) (\_ -> X.slice i n) arr
 
-- 
cgit v1.3