From 31a603bb5d685306fe9561eac25c62b514c62be2 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Thu, 2 Apr 2026 10:32:53 +0200
Subject: Rename TakeLen functions to TakeLenPerm; same for Drop

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

(limited to 'src/Data/Array/XArray.hs')

diff --git a/src/Data/Array/XArray.hs b/src/Data/Array/XArray.hs
index 42aff93..9f3ee34 100644
--- a/src/Data/Array/XArray.hs
+++ b/src/Data/Array/XArray.hs
@@ -232,7 +232,7 @@ transpose :: forall is sh a. (IsPermutation is, Rank is <= Rank sh)
           -> XArray (PermutePrefix is sh) a
 transpose ssh perm (XArray arr)
   | Dict <- lemKnownNatRankSSX ssh
-  , Refl <- lemRankApp (ssxPermute perm (ssxTakeLen perm ssh)) (ssxDropLen perm ssh)
+  , Refl <- lemRankApp (ssxPermute perm (ssxTakeLenPerm perm ssh)) (ssxDropLenPerm perm ssh)
   , Refl <- lemRankPermute (Proxy @(TakeLen is sh)) perm
   , Refl <- lemRankDropLen ssh perm
 #if MIN_VERSION_GLASGOW_HASKELL(9,8,0,0)
-- 
cgit v1.3