diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-28 21:47:52 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-02-28 21:47:52 +0100 |
| commit | 7541f23fa92fd016318e5822ef87bde03792ef6a (patch) | |
| tree | 55fe3eb503ea84622dc5ce72d2d517585b6d019f /src/Data/Array/Nested/Mixed.hs | |
| parent | 4cddecca879736adee6c1fe004d7711e92b789c4 (diff) | |
Make GHC 9.10 happymvecsReplicate
Diffstat (limited to 'src/Data/Array/Nested/Mixed.hs')
| -rw-r--r-- | src/Data/Array/Nested/Mixed.hs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Mixed.hs b/src/Data/Array/Nested/Mixed.hs index 68d4498..5d4150c 100644 --- a/src/Data/Array/Nested/Mixed.hs +++ b/src/Data/Array/Nested/Mixed.hs @@ -1057,9 +1057,8 @@ msliceSN i n arr = mslice :: forall i n k sh a. Elt a => SMayNat Int i -> SMayNat Int n -> SMayNat Int k -> Mixed (AddMaybe (AddMaybe i n) k : sh) a -> Mixed (n : sh) a -mslice i n k arr = - let _ :$% sh = mshape arr - uarr = mcastPartial (ssxFromShX $ smnAddMaybe (smnAddMaybe i n) k :$% ZSX) (SUnknown () :!% ZKX) Proxy arr +mslice i n k arr | _ :$% sh <- mshape arr = -- GHC 9.10 rejects a let expression and requires a pattern here + let uarr = mcastPartial (ssxFromShX $ smnAddMaybe (smnAddMaybe i n) k :$% ZSX) (SUnknown () :!% ZKX) Proxy arr in mcastPartial (SUnknown () :!% ZKX) (ssxFromShX $ n :$% ZSX) Proxy $ mlift (SUnknown () :!% ssxFromShX sh) (\_ -> X.sliceU (fromSMayNat' i) (fromSMayNat' n)) uarr |