aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJuan J. Martinez <jjm@usebox.net>2022-09-04 13:58:59 +0100
committerJuan J. Martinez <jjm@usebox.net>2022-09-04 13:58:59 +0100
commit72dc8f0490a26c2438b5eff9fe29a3197036d6e5 (patch)
tree382abfa0b1e430fe6962f57ac3b87de9f83fa7e2
parentdc50338fb6c03f959947530be890d637a3033bdf (diff)
downloadmicro-lang-hs-72dc8f0490a26c2438b5eff9fe29a3197036d6e5.tar.gz
micro-lang-hs-72dc8f0490a26c2438b5eff9fe29a3197036d6e5.zip
Unneeded (duplicated) case
-rw-r--r--src/Compiler.hs1
1 files changed, 0 insertions, 1 deletions
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)