diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-05-12 17:49:32 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-12 17:49:32 +0200 |
| commit | 8cf53cbc01ccf59e9f57dc7f2d056d933363ddaf (patch) | |
| tree | a71e3502f5744d1d11c56cde74736e749f254fdc | |
| parent | c875208de42dcf8f7ae0609dce601d32fb39b709 (diff) | |
Let's not add commented redundant needless errors
| -rw-r--r-- | src/Data/Array/Mixed/Shape.hs | 2 | ||||
| -rw-r--r-- | src/Data/Array/Nested/Internal/Shape.hs | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/Data/Array/Mixed/Shape.hs b/src/Data/Array/Mixed/Shape.hs index 4dd0aa6..77d6a8b 100644 --- a/src/Data/Array/Mixed/Shape.hs +++ b/src/Data/Array/Mixed/Shape.hs @@ -156,14 +156,12 @@ listxZip :: ListX sh (Const i) -> ListX sh (Const j) -> ListX sh (Const (i, j)) listxZip ZX ZX = ZX listxZip (Const i ::% irest) (Const j ::% jrest) = Const (i, j) ::% listxZip irest jrest ---listxZip _ _ = error "listxZip: impossible pattern needlessly required" listxZipWith :: (i -> j -> k) -> ListX sh (Const i) -> ListX sh (Const j) -> ListX sh (Const k) listxZipWith _ ZX ZX = ZX listxZipWith f (Const i ::% irest) (Const j ::% jrest) = Const (f i j) ::% listxZipWith f irest jrest ---listxZipWith _ _ _ = error "listxZipWith: impossible pattern needlessly required" -- * Mixed indices diff --git a/src/Data/Array/Nested/Internal/Shape.hs b/src/Data/Array/Nested/Internal/Shape.hs index 102d9d8..438f049 100644 --- a/src/Data/Array/Nested/Internal/Shape.hs +++ b/src/Data/Array/Nested/Internal/Shape.hs @@ -456,14 +456,12 @@ listsZip :: ListS sh (Const i) -> ListS sh (Const j) -> ListS sh (Const (i, j)) listsZip ZS ZS = ZS listsZip (Const i ::$ irest) (Const j ::$ jrest) = Const (i, j) ::$ listsZip irest jrest ---listsZip _ _ = error "listsZip: impossible pattern needlessly required" listsZipWith :: (i -> j -> k) -> ListS sh (Const i) -> ListS sh (Const j) -> ListS sh (Const k) listsZipWith _ ZS ZS = ZS listsZipWith f (Const i ::$ irest) (Const j ::$ jrest) = Const (f i j) ::$ listsZipWith f irest jrest ---listsZipWith _ _ _ = error "listsZipWith: impossible pattern needlessly required" listsTakeLenPerm :: forall f is sh. Perm is -> ListS sh f -> ListS (TakeLen is sh) f listsTakeLenPerm PNil _ = ZS |