diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 11:54:26 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 11:54:26 +0200 |
| commit | 086145dfee33e6e198abc148a6375ce929b2c88f (patch) | |
| tree | 1837166ce6bdcff1554df29bceb34e4ec5796d19 /src/Data/Array/Nested/Shaped.hs | |
| parent | 6e48137f2b7d9613f85599f13dbaa949045f96a6 (diff) | |
Audit remaining uses of KnownNat and SNat patterns
Diffstat (limited to 'src/Data/Array/Nested/Shaped.hs')
| -rw-r--r-- | src/Data/Array/Nested/Shaped.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Shaped.hs b/src/Data/Array/Nested/Shaped.hs index 62867a1..f1636c5 100644 --- a/src/Data/Array/Nested/Shaped.hs +++ b/src/Data/Array/Nested/Shaped.hs @@ -247,7 +247,7 @@ sreplicatePrim :: forall sh a. PrimElt a => ShS sh -> a -> Shaped sh a sreplicatePrim sh x = sfromPrimitive (sreplicatePrimP sh x) sslice :: Elt a => SNat i -> SNat n -> Shaped (i + n + k : sh) a -> Shaped (n : sh) a -sslice i n@SNat arr = +sslice i n arr = let _ :$$ sh = sshape arr in slift (n :$$ sh) (\_ -> X.slice i n) arr |