From c4598014eaac54018a6aad9621b8e667a0e84cf6 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@gmail.com>
Date: Sun, 21 Apr 2024 23:31:37 +0200
Subject: Make type params of sized list newtype constructors the same as for
the lists
---
src/Data/Array/Nested/Internal.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'src')
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs
index 4dc39c3..41618c5 100644
--- a/src/Data/Array/Nested/Internal.hs
+++ b/src/Data/Array/Nested/Internal.hs
@@ -855,7 +855,7 @@ deriving via Ranked n (Primitive Double) instance KnownINat n => Num (Ranked n D
type ListR :: INat -> Type -> Type
data ListR n i where
ZR :: ListR Z i
- (:::) :: forall n i. i -> ListR n i -> ListR (S n) i
+ (:::) :: forall n {i}. i -> ListR n i -> ListR (S n) i
deriving instance Show i => Show (ListR n i)
deriving instance Eq i => Eq (ListR n i)
deriving instance Ord i => Ord (ListR n i)
@@ -1068,7 +1068,7 @@ deriving via Shaped sh (Primitive Double) instance KnownShape sh => Num (Shaped
type ListS :: [Nat] -> Type -> Type
data ListS sh i where
ZS :: ListS '[] i
- (::$) :: forall n sh i. i -> ListS sh i -> ListS (n : sh) i
+ (::$) :: forall n sh {i}. i -> ListS sh i -> ListS (n : sh) i
deriving instance Show i => Show (ListS sh i)
deriving instance Eq i => Eq (ListS sh i)
deriving instance Ord i => Ord (ListS sh i)
--
cgit v1.2.3-70-g09d2