fix zip

anoma · Oct 25, 2022 · 323df67 · 323df67
1 parent 2938a88
commit 323df67
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Juvix/Compiler/Core/Extra/Base.hs b/src/Juvix/Compiler/Core/Extra/Base.hs
@@ -430,16 +430,16 @@ destruct = \case
                     i'
                     (hd args')
                     ( zipWith3Exact
-                        ( \br (bis, is) body' ->
+                        ( \br is (bis, body') ->
                             br
                               { _caseBranchInfo = is,
                                 _caseBranchBinders = bis,
                                 _caseBranchBody = body'
                               }
                         )
                         brs
-                        (zipExact binders' is')
-                        (tl (tl args'))
+                        is'
+                        (tl (tl (zipExact binders' args')))
                     )
                     (Just (hd (tl args')))
               }