aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-28 19:18:06 +0200
committerMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-28 19:18:06 +0200
commitd9a1b896875153cc3ee8fefc3dba7de1f6122d45 (patch)
tree098c5e91d79acac5a529015bb7478d1673da2adf /src
parentb86302bdb747fbe4262b1afa6ae981fd54d7bce4 (diff)
Make sized ranked lists strict due to impurity evaluation order in horde-ad
Diffstat (limited to 'src')
-rw-r--r--src/Data/Array/Nested/Internal.hs2
1 files changed, 1 insertions, 1 deletions
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)