From b5384bf2c356c8ac8339c380e5f3cd331167306d Mon Sep 17 00:00:00 2001
From: Martin Fredin <fredin.martin@gmail.com>
Date: Tue, 25 Apr 2023 13:22:33 +0200
Subject: [PATCH] Fix typo

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

diff --git a/src/TypeChecker/TypeCheckerBidir.hs b/src/TypeChecker/TypeCheckerBidir.hs
index 9682f7b..fb9e93d 100644
--- a/src/TypeChecker/TypeCheckerBidir.hs
+++ b/src/TypeChecker/TypeCheckerBidir.hs
@@ -397,7 +397,7 @@ checkPattern patt t_patt = case patt of
         PInj name ps -> do
             t_inj <- maybeToRightM "unknown constructor" =<< lookupInj name
             let ts = getParams t_inj
-            unless (length ts' == length ps) $
+            unless (length ts == length ps) $
                 throwError "Wrong number of arguments!"
             sub <- substituteTVarsOf t_inj
             subtype (sub $ getDataId t_inj) t_patt