diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-21 00:06:17 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-12-21 00:06:17 +0100 |
| commit | 7db9c026a0765593dd05ec3895212bc187460449 (patch) | |
| tree | f6df91df2afe7dd85f07890f8305984388237564 /src/Data/Array/XArray.hs | |
| parent | bc8e904b3cc7b98a4809357321ce3d1196df3701 (diff) | |
Make it clear that ravelOuterN is called just once
Diffstat (limited to 'src/Data/Array/XArray.hs')
| -rw-r--r-- | src/Data/Array/XArray.hs | 7 |
1 files changed, 3 insertions, 4 deletions
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 |