From 38d043ad64c88e1403839bba915651843ab51503 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Mon, 15 Dec 2025 01:19:11 +0100
Subject: Clone ListX into ListH

---
 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 6389e67..a9fc14c 100644
--- a/src/Data/Array/XArray.hs
+++ b/src/Data/Array/XArray.hs
@@ -285,7 +285,7 @@ sumInner ssh ssh' arr
         go :: XArray (sh ++ '[Flatten sh']) a -> XArray sh a
         go (XArray arr')
           | Refl <- lemRankApp ssh ssh'F
-          , let sn = listxRank (let StaticShX l = ssh in l)
+          , let sn = ssxRank ssh
           = XArray (liftO1 (numEltSum1Inner sn) arr')
 
     in go $
-- 
cgit v1.2.3-70-g09d2