From 5c926beb1aeed724787812c35a70c5ae362bc1f7 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Fri, 16 May 2025 13:42:47 +0200
Subject: Generalize some shape conversion functions

---
 src/Data/Array/Nested/Convert.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs
index 92bc3b4..c5cd293 100644
--- a/src/Data/Array/Nested/Convert.hs
+++ b/src/Data/Array/Nested/Convert.hs
@@ -83,7 +83,7 @@ rcastToShaped (Ranked arr) targetsh
   , Refl <- lemRankMapJust targetsh
   = mcastToShaped targetsh arr
 
-ixrFromIxS :: IIxS sh -> IIxR (Rank sh)
+ixrFromIxS :: IxS sh i -> IxR (Rank sh) i
 ixrFromIxS ZIS = ZIR
 ixrFromIxS (i :.$ ix) = i :.: ixrFromIxS ix
 
-- 
cgit v1.2.3-70-g09d2