diff options
Diffstat (limited to 'src/Data/Array/Nested/Shaped')
| -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) |