diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 10:54:37 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 10:54:37 +0200 |
| commit | 6e48137f2b7d9613f85599f13dbaa949045f96a6 (patch) | |
| tree | f55c6d64fdd609cae53761d5cd36c300bd3cb227 /src/Data/Array/Nested | |
| parent | 31a603bb5d685306fe9561eac25c62b514c62be2 (diff) | |
Remove a couple of obsolete/wrong TODOs
Diffstat (limited to 'src/Data/Array/Nested')
| -rw-r--r-- | src/Data/Array/Nested/Shaped/Shape.hs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs index f83a065..69465a2 100644 --- a/src/Data/Array/Nested/Shaped/Shape.hs +++ b/src/Data/Array/Nested/Shaped/Shape.hs @@ -174,7 +174,6 @@ listsPermute (i `PCons` (is :: Perm is')) (sh :: ListS sh f) = case listsIndex i sh of item -> item ::$ listsPermute is sh --- TODO: try to remove this SNat now that the KnownNat constraint in ListS is removed listsIndex :: forall j i sh. SNat i -> ListS sh j -> j listsIndex SZ (n ::$ _) = n listsIndex (SS i) (_ ::$ sh) = listsIndex i sh @@ -194,8 +193,6 @@ newtype IxS sh i = IxS (ListS sh i) pattern ZIS :: forall sh i. () => sh ~ '[] => IxS sh i pattern ZIS = IxS ZS --- | Note: The 'KnownNat' constraint on '(:.$)' is deprecated and should be --- removed in a future release. pattern (:.$) :: forall {sh1} {i}. forall n sh. (n : sh ~ sh1) |