From f6e718460087548393470ee1256cc8efca19a59e Mon Sep 17 00:00:00 2001 From: Mikolaj Konarski Date: Mon, 17 Feb 2025 20:40:30 +0100 Subject: Fix a typo in an error message --- src/Data/Array/Mixed/Permutation.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Data/Array/Mixed') diff --git a/src/Data/Array/Mixed/Permutation.hs b/src/Data/Array/Mixed/Permutation.hs index 331d5e0..015a828 100644 --- a/src/Data/Array/Mixed/Permutation.hs +++ b/src/Data/Array/Mixed/Permutation.hs @@ -164,12 +164,12 @@ type family DropLen ref l where listxTakeLen :: forall f is sh. Perm is -> ListX sh f -> ListX (TakeLen is sh) f listxTakeLen PNil _ = ZX listxTakeLen (_ `PCons` is) (n ::% sh) = n ::% listxTakeLen is sh -listxTakeLen (_ `PCons` _) ZX = error "IsPermutation longer than shape" +listxTakeLen (_ `PCons` _) ZX = error "Permutation longer than shape" listxDropLen :: forall f is sh. Perm is -> ListX sh f -> ListX (DropLen is sh) f listxDropLen PNil sh = sh listxDropLen (_ `PCons` is) (_ ::% sh) = listxDropLen is sh -listxDropLen (_ `PCons` _) ZX = error "IsPermutation longer than shape" +listxDropLen (_ `PCons` _) ZX = error "Permutation longer than shape" listxPermute :: forall f is sh. Perm is -> ListX sh f -> ListX (Permute is sh) f listxPermute PNil _ = ZX -- cgit v1.2.3-70-g09d2