From 8cf53cbc01ccf59e9f57dc7f2d056d933363ddaf Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 12 May 2025 17:49:32 +0200 Subject: Let's not add commented redundant needless errors --- src/Data/Array/Mixed/Shape.hs | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/Data/Array/Mixed') 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 -- cgit v1.2.3-70-g09d2