From 99a594767ae0bde6f836fcae55ff8abf87b5b300 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 29 Jun 2025 12:34:32 +0200
Subject: Cleanup

---
 src/Data/Array/Nested/Shaped/Shape.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Data/Array/Nested/Shaped/Shape.hs')

diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs
index 20a7a7a..d34f3ec 100644
--- a/src/Data/Array/Nested/Shaped/Shape.hs
+++ b/src/Data/Array/Nested/Shaped/Shape.hs
@@ -50,6 +50,8 @@ import Data.Array.Nested.Types
 
 -- * Shaped lists
 
+-- | Note: The 'KnownNat' constraint on '(::$)' is deprecated and should be
+-- removed in a future release.
 type role ListS nominal representational
 type ListS :: [Nat] -> (Nat -> Type) -> Type
 data ListS sh f where
@@ -193,6 +195,8 @@ newtype IxS sh i = IxS (ListS sh (Const 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. (KnownNat n, n : sh ~ sh1)
-- 
cgit v1.2.3-70-g09d2