diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-20 16:16:19 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-20 16:16:19 +0200 |
| commit | 6d624d24871ee30e36c73c890c8f4a7cdae54c1c (patch) | |
| tree | c4a222df5e336a28fa1af9daf655b62fc4cde49c /src/Data/Array/Mixed.hs | |
| parent | 60c3927c4694f7c212f73498aee96a663e17c88c (diff) | |
Some conversions
Diffstat (limited to 'src/Data/Array/Mixed.hs')
| -rw-r--r-- | src/Data/Array/Mixed.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Mixed.hs b/src/Data/Array/Mixed.hs index f62d781..b07f120 100644 --- a/src/Data/Array/Mixed.hs +++ b/src/Data/Array/Mixed.hs @@ -283,7 +283,7 @@ instance KnownShX sh => IsList (ShX sh Int) where type family Rank sh where Rank '[] = 0 - Rank (_ : sh) = 1 + Rank sh + Rank (_ : sh) = Rank sh + 1 type XArray :: [Maybe Nat] -> Type -> Type newtype XArray sh a = XArray (S.Array (Rank sh) a) |