From a594f6f4a886c79c28c40be44caac713fc41a2e5 Mon Sep 17 00:00:00 2001 From: "Juan J. Martinez" Date: Sun, 4 Sep 2022 14:12:52 +0100 Subject: Typo, formatting of comment --- src/Compiler.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/Compiler.hs') diff --git a/src/Compiler.hs b/src/Compiler.hs index 8075515..38b5227 100644 --- a/src/Compiler.hs +++ b/src/Compiler.hs @@ -49,9 +49,10 @@ typecheckCall args params targs <- fmap rights $ traverse compile args case sequence targs of Just t - -- after resolition, we could have less "rights" + -- after resolution, we could have less "rights" | length t /= length params -> return $ Nothing - | all (\(a, b) -> a == b) $ zip t params -> -- compare types + -- compare types + | all (\(a, b) -> a == b) $ zip t params -> return $ Nothing -- all good! | otherwise -> return $ Just ("type mismatch in function call\n found: " ++ A.showList t ++ "\n expected: " ++ A.showList params) Nothing -> -- cgit v1.2.3