From 2018dc3476c1a1b723f8c7106d628bd0da8cb49c Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 2 Oct 2025 14:12:15 +0200
Subject: Tune redundant cases for no-warnings on GHC 9.12

---
 src/Data/Array/Nested/Convert.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/Data/Array/Nested/Convert.hs')

diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs
index a260dc0..8c88d23 100644
--- a/src/Data/Array/Nested/Convert.hs
+++ b/src/Data/Array/Nested/Convert.hs
@@ -80,7 +80,6 @@ shrFromShS (n :$$ sh) = fromSNat' n :$: shrFromShS sh
 ixsFromIxR :: ShS sh -> IxR (Rank sh) i -> IxS sh i
 ixsFromIxR ZSS ZIR = ZIS
 ixsFromIxR (_ :$$ sh) (n :.: idx) = n :.$ ixsFromIxR sh idx
-ixsFromIxR _ _ = error "unreachable"
 
 -- | Performs a runtime check that @n@ matches @Rank sh@. Equivalent to the
 -- following, but more efficient:
-- 
cgit v1.2.3-70-g09d2