From 6e48137f2b7d9613f85599f13dbaa949045f96a6 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Thu, 2 Apr 2026 10:54:37 +0200
Subject: Remove a couple of obsolete/wrong TODOs

---
 src/Data/Array/Nested/Shaped/Shape.hs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src')

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)
-- 
cgit v1.3