From 7db9c026a0765593dd05ec3895212bc187460449 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Sun, 21 Dec 2025 00:06:17 +0100 Subject: Make it clear that ravelOuterN is called just once --- src/Data/Array/XArray.hs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/Data/Array/XArray.hs b/src/Data/Array/XArray.hs index a9fc14c..e8039f6 100644 --- a/src/Data/Array/XArray.hs +++ b/src/Data/Array/XArray.hs @@ -317,11 +317,10 @@ fromListOuter ssh l = case ssh of _ :!% ZKX -> fromList1 ssh (map S.unScalar l') - SKnown m :!% _ -> - let n = fromSNat' m - in XArray (ravelOuterN n l') _ -> - let n = length l + let n = case ssh of + SKnown m :!% _ -> fromSNat' m + _ -> length l in XArray (ravelOuterN n l') -- | This checks that the list has the given length and that all shapes in the -- cgit v1.2.3-70-g09d2