From d9a1b896875153cc3ee8fefc3dba7de1f6122d45 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Sun, 28 Apr 2024 19:18:06 +0200 Subject: Make sized ranked lists strict due to impurity evaluation order in horde-ad --- src/Data/Array/Nested/Internal.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Data/Array/Nested/Internal.hs') diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs index efb9dc6..1999bb6 100644 --- a/src/Data/Array/Nested/Internal.hs +++ b/src/Data/Array/Nested/Internal.hs @@ -857,7 +857,7 @@ type role ListR nominal representational 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) -- cgit v1.2.3-70-g09d2