diff options
| author | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2025-02-17 20:40:30 +0100 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2025-02-17 20:40:30 +0100 |
| commit | f6e718460087548393470ee1256cc8efca19a59e (patch) | |
| tree | 3a0e8718ed6d23a3f93a596c2ad7103ab8b4a1ff /src/Data/Array/Mixed | |
| parent | 71908c23307952fac26a4e24066e064d9cbb71c0 (diff) | |
Fix a typo in an error message
Diffstat (limited to 'src/Data/Array/Mixed')
| -rw-r--r-- | src/Data/Array/Mixed/Permutation.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |