From 6d624d24871ee30e36c73c890c8f4a7cdae54c1c Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 20 May 2024 16:16:19 +0200
Subject: Some conversions

---
 src/Data/Array/Mixed.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Data/Array/Mixed.hs')

diff --git a/src/Data/Array/Mixed.hs b/src/Data/Array/Mixed.hs
index f62d781..b07f120 100644
--- a/src/Data/Array/Mixed.hs
+++ b/src/Data/Array/Mixed.hs
@@ -283,7 +283,7 @@ instance KnownShX sh => IsList (ShX sh Int) where
 
 type family Rank sh where
   Rank '[] = 0
-  Rank (_ : sh) = 1 + Rank sh
+  Rank (_ : sh) = Rank sh + 1
 
 type XArray :: [Maybe Nat] -> Type -> Type
 newtype XArray sh a = XArray (S.Array (Rank sh) a)
-- 
cgit v1.2.3-70-g09d2