From 6a1b784cf17d20c9b0c1e712c4cfc7faae6557d4 Mon Sep 17 00:00:00 2001 From: "Juan J. Martinez" Date: Sun, 4 Sep 2022 14:12:07 +0100 Subject: Ccmment clarifying the case --- src/Compiler.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Compiler.hs b/src/Compiler.hs index 3b41e79..8075515 100644 --- a/src/Compiler.hs +++ b/src/Compiler.hs @@ -49,6 +49,7 @@ typecheckCall args params targs <- fmap rights $ traverse compile args case sequence targs of Just t + -- after resolition, we could have less "rights" | length t /= length params -> return $ Nothing | all (\(a, b) -> a == b) $ zip t params -> -- compare types return $ Nothing -- all good! -- cgit v1.2.3