From 21e52b349aaf0978f0ce5925fef6e53e0c9436f9 Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Thu, 9 Apr 2026 22:58:39 +0200 Subject: Get rid of most ListX operations --- 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 5e84a2d..f260d07 100644 --- a/src/Data/Array/Nested/Ranked/Shape.hs +++ b/src/Data/Array/Nested/Ranked/Shape.hs @@ -153,7 +153,7 @@ ixrCast _ _ = error "ixrCast: ranks don't match" -- lemReplicatePlusApp requires SNat that would cause overhead (not benchmarked) ixrAppend :: forall n m i. IxR n i -> IxR m i -> IxR (n + m) i ixrAppend = gcastWith (unsafeCoerceRefl :: Replicate (n + m) (Nothing @Nat) :~: Replicate n Nothing ++ Replicate m Nothing) $ - coerce (listxAppend @_ @_ @i) + coerce (ixxAppend @_ @_ @i) ixrIndex :: forall k n i. (k + 1 <= n) => SNat k -> IxR n i -> i ixrIndex SZ (x :.: _) = x -- cgit v1.3