From 2095a851760b6bb44ba92b70df1efceff1bad267 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Fri, 3 Apr 2026 22:42:03 +0200 Subject: Simplify the index list pattern synonyms --- src/Data/Array/Nested/Ranked/Shape.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Data/Array/Nested/Ranked/Shape.hs') diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs index c5cdf6b..b8b5a28 100644 --- a/src/Data/Array/Nested/Ranked/Shape.hs +++ b/src/Data/Array/Nested/Ranked/Shape.hs @@ -222,7 +222,7 @@ pattern (:.:) :: forall {n1} {i}. forall n. (n + 1 ~ n1) => i -> IxR n i -> IxR n1 i -pattern i :.: sh <- IxR (listrUncons -> Just (UnconsListRRes (IxR -> sh) i)) +pattern i :.: sh <- IxR (i ::: (IxR -> sh)) where i :.: IxR sh = IxR (i ::: sh) infixr 3 :.: -- cgit v1.3