diff options
Diffstat (limited to 'src/Data/Array/Nested/Convert.hs')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index 408bf8a..313e9de 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -103,7 +103,7 @@ withShsFromShR ZSR k = k ZSS withShsFromShR (n :$: sh) k = withShsFromShR sh $ \sh' -> withSomeSNat (fromIntegral @Int @Integer n) $ \case - Just sn@SNat -> k (sn :$$ sh') + Just sn -> k (sn :$$ sh') Nothing -> error $ "withShsFromShR: negative dimension size (" ++ show n ++ ")" shsFromShX :: IShX (MapJust sh) -> ShS sh @@ -113,13 +113,13 @@ shsFromShX = coerce -- @sh'@ is @MapJust@ of something, use 'shsFromShX' instead. withShsFromShX :: IShX sh' -> (forall sh. Rank sh ~ Rank sh' => ShS sh -> r) -> r withShsFromShX ZSX k = k ZSS -withShsFromShX (SKnown sn@SNat :$% sh) k = +withShsFromShX (SKnown sn :$% sh) k = withShsFromShX sh $ \sh' -> k (sn :$$ sh') withShsFromShX (SUnknown n :$% sh) k = withShsFromShX sh $ \sh' -> withSomeSNat (fromIntegral @Int @Integer n) $ \case - Just sn@SNat -> k (sn :$$ sh') + Just sn -> k (sn :$$ sh') Nothing -> error $ "withShsFromShX: negative SUnknown dimension size (" ++ show n ++ ")" -- If it ever matters for performance, this is unsafeCoercible. |