From 72dc8f0490a26c2438b5eff9fe29a3197036d6e5 Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Sun, 4 Sep 2022 13:58:59 +0100
Subject: Unneeded (duplicated) case

---
 src/Compiler.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/Compiler.hs')

diff --git a/src/Compiler.hs b/src/Compiler.hs
index 0511644..1dfe4d9 100644
--- a/src/Compiler.hs
+++ b/src/Compiler.hs
@@ -49,7 +49,6 @@ typecheckCall args params
       targs <- fmap rights $ traverse compile args
       case sequence targs of
         Just t
-          | length t /= length params -> return $ Nothing
           | all (\(a, b) -> a == b) $ zip t params -> -- compare types
               return $ Nothing -- all good!
           | otherwise -> return $ Just ("type mismatch in function call\n     found: " ++ A.showList t ++ "\n  expected: " ++ A.showList params)
-- 
cgit v1.2.3