From aa4a615c2859e9ef9a453fe173b01f8072a2dc5c Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Mon, 27 Mar 2023 14:44:21 +0200
Subject: [PATCH] fixed one bug

---
 src/TypeChecker/TypeChecker.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TypeChecker/TypeChecker.hs b/src/TypeChecker/TypeChecker.hs
index 7e7f17f..ba07616 100644
--- a/src/TypeChecker/TypeChecker.hs
+++ b/src/TypeChecker/TypeChecker.hs
@@ -633,7 +633,7 @@ inferPattern = \case
                     ++ " arguments but has been given "
                     ++ show (length patterns)
             )
-        sub <- composeAll <$> zipWithM unify (map snd patterns) vs
+        sub <- composeAll <$> zipWithM unify vs (map snd patterns)
         return (T.PInj (coerce constr) (apply sub (map fst patterns)), apply sub ret)
     PCatch -> (T.PCatch,) <$> fresh
     PEnum p -> do