From 22a3d9c5cbafb7a633f2f802af884d042718e78d Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Wed, 24 Sep 2025 20:56:20 +0200 Subject: Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled and probably more sound than earlier versions. --- src/Data/Array/Nested/Permutation.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/Data/Array/Nested/Permutation.hs') diff --git a/src/Data/Array/Nested/Permutation.hs b/src/Data/Array/Nested/Permutation.hs index 03d1640..1eb7be1 100644 --- a/src/Data/Array/Nested/Permutation.hs +++ b/src/Data/Array/Nested/Permutation.hs @@ -276,7 +276,6 @@ lemRankDropLen :: forall is sh. (Rank is <= Rank sh) lemRankDropLen ZKX PNil = Refl lemRankDropLen (_ :!% sh) (_ `PCons` is) | Refl <- lemRankDropLen sh is = Refl lemRankDropLen (_ :!% _) PNil = Refl -lemRankDropLen ZKX (_ `PCons` _) = error "1 <= 0" lemIndexSucc :: Proxy i -> Proxy a -> Proxy l -> Index (i + 1) (a : l) :~: Index i l -- cgit v1.2.3-70-g09d2